Abstract | ||
---|---|---|
. We investigate an extension of a lazy functional logic language, which uses term disequationsboth in programs and in computed answers. The semantic properties of the languageare derived from the fact that it can be viewed as an instance of the CFLP (X)-scheme proposedin [Lo92] for constraint functional logic programming. In particular, the operational semantics forCFLP (X) -- so called lazy constrained narrowing -- is a computation mechanism parameterizedby a constraint solver over the... |
Year | DOI | Venue |
---|---|---|
1994 | 10.1007/3-540-58402-1_27 | PLILP |
Keywords | DocType | ISBN |
disequality constraints,combining layz | Conference | 3-540-58402-1 |
Citations | PageRank | References |
22 | 1.04 | 15 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Puri Arenas-Sánchez | 1 | 67 | 4.92 |
Ana Gil-Luezas | 2 | 30 | 2.95 |
Francisco Javier López-fraguas | 3 | 436 | 25.21 |