Abstract | ||
---|---|---|
Functional logic languages are declarative programming languages that integratethe programming paradigms of functional and logic languages within a single framework.They are extensions of functional languages with principles derived from logicprogramming. Narrowing, the evaluation mechanism of functional logic languages,can be defined as a generalization of reduction, the evaluation mechanism of purelyfunctional languages. The unidirectional pattern matching, which is used for parameter... |
Year | DOI | Venue |
---|---|---|
1993 | 10.1007/BF03037158 | New Generation Comput. |
Keywords | Field | DocType |
Declarative Programming Languages,Narrowing and Reduction,Implementation Techniques,Abstract Machines,Formal Specification | Functional logic programming,Fifth-generation programming language,Second-generation programming language,Programming language,Comparison of multi-paradigm programming languages,Computer science,Abstract family of languages,Theoretical computer science,Cone (formal languages),Declarative programming,Ontology language | Journal |
Volume | Issue | ISSN |
11 | 2 | 0288-3635 |
Citations | PageRank | References |
11 | 1.14 | 12 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rita Loogen | 1 | 598 | 42.21 |
RWTH Aachen | 2 | 102 | 16.14 |