3441 search results - page 76 / 689 » Parallel Logic Programming Systems |
104
click to vote
ICFP
2012
ACM
13 years 5 days ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper describes a generic mechanism to migrate threads in heterogeneous distributed environments. To maintain high portability and flexibility, thread migration is implement...
ECOOPW
2007
Springer
15 years 4 months ago
2007
Springer
APIN
2000
14 years 9 months ago
2000
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
LICS
1994
IEEE
15 years 1 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...