Paper Info
Title
Implementing a Lazy Functional Logic Language with Disequality Constraints
Abstract
In this paper, we investigate the implementation of a lazy functional logic language(in particular the language BABEL [MR88, MR92]) which uses disequality constraintsfor solving equations and building answers. We specify a new operationalsemantics which combines lazy narrowing with disequality constraints and we definean abstract machine tailored to the execution of BABEL programs according to thissemantics. The machine is designed as a quite natural extension of a lazy graphnarrowing...
Year
Venue
Keywords
1992
JICSLP
abstract machine
Field
DocType
Citations 
Programming language,Computer science,Algorithm,Theoretical computer science,Logic programming
Conference
9
PageRank 
References 
Authors
0.68
0
4
Name
Order
Citations
PageRank
Herbert Kuchen163070.82
Francisco Javier López-fraguas243625.21
Juan José Moreno-navarro337942.47
Mario Rodríguez-Artalejo471659.70