850 search results - page 41 / 170 » A Logic Programming Language Based on Binding Algebras |
222
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
APLAS
2004
ACM
15 years 6 months ago
2004
ACM
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform ā synchronising bookmarks in diļ...
109
click to vote
ICCL
1998
IEEE
15 years 5 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
DEXAW
2008
IEEE
15 years 7 months ago
2008
IEEE
Todayās high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of concurrency we need t...
100
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents a compiler from expressive, relational speciļ¬cations to logic programs. Speciļ¬cally, the compiler translates the Imperative Alloy speciļ¬cation language to...