A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract
Verfasserangaben: | Heinz Faßbender, Heiko Vogler |
---|---|
Titel des übergeordneten Werkes (Englisch): | Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.) |
Verlag: | RWTH, Fachgruppe Informatik |
Verlagsort: | Aachen |
Dokumentart: | Wissenschaftlicher Artikel |
Sprache: | Englisch |
Erscheinungsjahr: | 1991 |
Datum der Publikation (Server): | 18.12.2012 |
Umfang: | III, 231 S. : graph. Darst. |
Erste Seite: | 95 |
Letzte Seite: | 96 |
Link: | http://stuff.mit.edu/afs/athena/contrib/techreports/ftp.informatik.rwth-aachen.de/german/91-01.ps.Z |
Zugriffsart: | weltweit |
Fachbereiche und Einrichtungen: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |