7456 search results - page 141 / 1492 » Parallelism in Logic Programming |
121
click to vote
PPDP
2001
Springer
15 years 7 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
117
click to vote
ICALP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We prove that the boundedness problem for monadic secondorder logic over the class of all finite words is decidable.
130
click to vote
VMCAI
2012
Springer
13 years 10 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
160
click to vote
CONCUR
2011
Springer
14 years 2 months ago
2011
Springer
Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavi...
140
click to vote
EUROPAR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper presents the XJava compiler for parallel programs. It exploits parallelism based on an object-oriented stream programming paradigm. XJava extends Java with new...