Paper Info
Title
Design and implementation of a generic, logic and functional programming language
Abstract
This paper presents the broad outlines of LPG, a language designed for generic specification and programming. In this language one may specify different modules which can represent either particular algebras (ADTs), families of algebras (generic data types and enrichments) or -structures (theories). This language is based on Horn clause logic with equality which permits logic and functional programming to be combined. As modules in LPG can be generic, an instantiation mechanism is needed; such a mechanism is described here as well as the interpreter and an E-unification algorithm, thus making LPG a powerful programming language.
Year
DOI
Venue
1986
10.1007/3-540-16442-1_9
ESOP
Keywords
Field
DocType
functional programming,functional programming language,programming language,data type
Functional logic programming,Fifth-generation programming language,Programming language specification,Horn clause,Programming language,Computer science,Very high-level programming language,Theoretical computer science,First-generation programming language,Logic programming,Language primitive
Conference
Volume
ISSN
ISBN
213
0302-9743
-540-16442-1
Citations 
PageRank 
References 
37
1.93
16
Authors
2
Name
Order
Citations
PageRank
D Bert1371.93
R. Echahed2573.38