7456 search results - page 399 / 1492 » Parallelism in Logic Programming |
189
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
192
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
148
Voted
EUROPAR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditiona...
184
click to vote
PPDP
2007
Springer
16 years 26 days ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
192
click to vote
TPLP
2002
15 years 6 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...