3441 search results - page 192 / 689 » Parallel Logic Programming Systems |
235
click to vote
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
233
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
Deterministic replay systems record and reproduce the execution of a hardware or software system. In contrast to replaying execution on uniprocessors, deterministic replay on mult...
119
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
139
click to vote
CONCUR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
140
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...