Abstract | ||
---|---|---|
We propose a relation algebraic semantics along with a concrete model for lazy functional logic languages. The resulting semantics provides several interesting advantages over former approaches for this class of languages. On the one hand, the high abstraction level of relation algebra allows equational reasoning leading to concise proofs about functional logic programs. On the other hand the proposed approach features, in contrast to former approaches with a comparable level of abstraction, an explicit modeling of sharing. The latter property gives rise to the expectation that the presented framework can be used to clarify notions currently discussed in the field of functional logic languages, like constructive negation, function inversion and encapsulated search. All of these topics have proved to involve subtle problems in the context of sharing and laziness in the past. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-78913-0_5 | RelMiCS |
Keywords | Field | DocType |
concrete model,constructive negation,lazy functional logic language,relation algebra,former approach,comparable level,functional logic program,relation algebraic semantics,high abstraction level,functional logic language,functional logic programming | Negation,Multimodal logic,Description logic,Theoretical computer science,Philosophy of logic,Logic programming,Relation algebra,Mathematics,Algebraic semantics,Ontology language | Conference |
Volume | ISSN | ISBN |
4988 | 0302-9743 | 3-540-78912-X |
Citations | PageRank | References |
2 | 0.38 | 14 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bernd Braßel | 1 | 181 | 12.47 |
Jan Christiansen | 2 | 41 | 2.18 |