Name
Abstract | ||
|---|---|---|
. We propose an approach to declarative programming whichintegrates the functional and relational paradigms by taking possiblynon-deterministic lazy functions as the fundamental notion. Programsin our paradigm are theories in a constructor-based conditional rewritinglogic. We present proof calculi and a model theory for this logic,and we prove the existence of free term models which provide an adequateintended semantics for programs. Moreover, we develop a soundand strongly complete lazy ... |
Year | DOI | Venue |
|---|---|---|
1996 | 10.1007/3-540-61055-3_35 | ESOP |
Keywords | Field | DocType |
declarative programming,rewriting logic,model theory | Functional logic programming,Programming language,Horn clause,Computer science,Inductive programming,Theoretical computer science,Graph rewriting,Rewriting,Logic programming,Declarative programming,Datalog | Conference |
ISBN | Citations | PageRank |
3-540-61055-3 | 35 | 1.79 |
References | Authors | |
19 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| J. C. González-Moreno | 1 | 88 | 5.38 |
| Maria Teresa Hortalá-González | 2 | 133 | 9.49 |
| Francisco Javier López-fraguas | 3 | 436 | 25.21 |
| Mario Rodríguez-Artalejo | 4 | 716 | 59.70 |