1631 search results - page 5 / 327 » Observing Functional Logic Computations |
TPHOL
1996
IEEE
14 years 1 months ago
1996
IEEE
We will present a Logic of Computable Functions based on the idea of Synthetic Domain Theory such that all functions are automatically continuous. Its implementation in the Lego pr...
ALP
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-...
IFL
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
ISCAS
1994
IEEE
14 years 1 months ago
1994
IEEE
ICLP
2001
Springer
14 years 2 months ago
2001
Springer
