3546 search results - page 88 / 710 » A Causal Logic of Logic Programming |
ICFP
2012
ACM
12 years 14 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...
CADE
2008
Springer
14 years 10 months ago
2008
Springer
Collaborative Programming is characterized by groups of people issuing instructions to computer systems. Collaborative Programming languages differ from traditional programming lan...
LOPSTR
1994
Springer
14 years 2 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
ICLP
1994
Springer
14 years 2 months ago
1994
Springer
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...