Search Sciweavers | Sciweavers

7456 search results - page 132 / 1492

» Parallelism in Logic Programming

128

click to vote

FSEN
2009
Springer

95views Software Engineering» more FSEN 2009»

Program Logics for Sequential Higher-Order Control

15 years 9 months ago

Download wwwhomes.doc.ic.ac.uk

We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...

Martin Berger

claim paper

Read More »

148

click to vote

ASP
2005
Springer

299views Automated Reasoning» more ASP 2005»

Combining Answer Sets of Nonmonotonic Logic Programs

15 years 8 months ago

Download clima.deis.unibo.it

This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...

Chiaki Sakama, Katsumi Inoue

claim paper

Read More »

click to vote

PACT
2001
Springer

132views Distributed And Parallel Com...» more PACT 2001»

Experimental Version of Parallel Programs Translator from Petri Nets to C++

15 years 7 months ago