Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-25779 Dateien zu diesem Datensatz:
| Datei | Beschreibung | Größe | Format | |
|---|---|---|---|---|
| beta.pdf | 572,13 kB | Adobe PDF | Öffnen/Anzeigen |
| Titel: | Beta reduction constraints |
| VerfasserIn: | 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 |
| Kontrollierte Schlagwörter: | Constraint-logische Programmierung |
| Freie Schlagwörter: | Beta Constraints |
| DDC-Sachgruppe: | 004 Informatik |
| Dokumenttyp: | Konferenzbeitrag (in einem Konferenzband / InProceedings erschienener Beitrag) |
| Abstract: | 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 |
| Datum des Eintrags: | 12-Jul-2004 |
| Fakultät: | MI - Fakultät für Mathematik und Informatik |
| Fachrichtung: | MI - Informatik |
| Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.