1598 search results - page 7 / 320 » A Unified Computation Model for Functional and Logic Program... |
133
click to vote
WLP
2005
Springer
15 years 11 months ago
2005
Springer
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
145
click to vote
IFL
2004
Springer
15 years 10 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...
147
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
190
click to vote
IWFM
2003
15 years 6 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...