A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract
Author: | Heinz Faßbender, Heiko Vogler |
---|---|
Parent Title (English): | Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.) |
Publisher: | RWTH, Fachgruppe Informatik |
Place of publication: | Aachen |
Document Type: | Article |
Language: | English |
Year of Completion: | 1991 |
Length: | III, 231 S. : graph. Darst. |
First Page: | 95 |
Last Page: | 96 |
Link: | http://stuff.mit.edu/afs/athena/contrib/techreports/ftp.informatik.rwth-aachen.de/german/91-01.ps.Z |
Zugriffsart: | weltweit |
Institutes: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |