Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25779
Titel: Beta reduction constraints
Verfasser: Bodirsky, Manuel
Erk, Katrin
Koller, Alexander
Niehren, Joachim
Sprache: Englisch
Erscheinungsjahr: 2001
Quelle: Proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 01, Utrecht, The Netherlands, May 22-24, 2001.- Berlin: Springer, 2001. (Lecture Notes in Computer Science; 2051), pp. 31-46
SWD-Schlagwörter: Constraint-logische Programmierung
Freie Schlagwörter: Beta Constraints
DDC-Sachgruppe: 004 Informatik
Dokumentart : InProceedings (Aufsatz / Paper einer Konferenz etc.)
Kurzfassung: The constraint language for lambda structures (CLLS) can model lambda terms that are known only partially. In this paper, we introduce beta reduction constraints to describe beta reduction steps between partially known lambda terms. We show that beta reduction constraints can be expressed in an extension of CLLS by group parallelism. We then extend a known semi-decision procedure for CLLS to also deal with group parallelism and thus with beta-reduction constraints.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-2981
hdl:20.500.11880/25835
http://dx.doi.org/10.22028/D291-25779
SciDok-Publikation: 12-Jul-2004
Fakultät: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
Fachrichtung: MI - Informatik
Fakultät / Institution:MI - Fakultät für Mathematik und Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
beta.pdf572,13 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.