3441 search results - page 191 / 689 » Parallel Logic Programming Systems |
167
click to vote
AC
1992
Springer
15 years 7 months ago
1992
Springer
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...
147
click to vote
TLDI
2010
ACM
15 years 12 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
113
click to vote
PACT
2005
Springer
15 years 8 months ago
2005
Springer
The paper is dedicated to an open T-system (OpenTS) — a programming system that supports automatic parallelization of computations for high-performance and distributed applicatio...
125
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
166
click to vote
ICFP
2012
ACM
13 years 5 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...