Name
Title | ||
|---|---|---|
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types |
Abstract | ||
|---|---|---|
We propose a formal framework for functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose data constructors obey a given set C of equational axioms. On top of a given C, we specify a program as a set R of C-based conditional rewriting rules for defined functions. We argue that equational logic does not supply the proper semantics for such programs. Therefore, we present an alternative logic which includes C-based rewriting calculi and a notion of model. We get soundness and completeness for C-based rewriting w.r.t. models, existence of free models for all programs, and type preservation results. |
Year | DOI | Venue |
|---|---|---|
1997 | 10.1007/BFb0030618 | TAPSOFT |
Keywords | Field | DocType |
functional logic programming,algebraic polymorphic types,semantic framework,equational logic,polymorphism | Functional logic programming,Programming language,Autoepistemic logic,Horn clause,Substructural logic,Multimodal logic,Logic programming,Equational logic,Higher-order logic,Mathematics | Conference |
ISBN | Citations | PageRank |
3-540-62781-2 | 13 | 0.71 |
References | Authors | |
18 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Puri Arenas-Sánchez | 1 | 67 | 4.92 |
| Mario Rodríguez-Artalejo | 2 | 716 | 59.70 |