3546 search results - page 69 / 710 » A Causal Logic of Logic Programming |
CSCW
2000
ACM
14 years 2 months ago
2000
ACM
In general, collaboration infrastructures have supported sharing of an object based on its logical structure. However, current implementations assume an implicit binding between t...
FMCO
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
ICLP
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...
APLAS
2007
ACM
14 years 2 months ago
2007
ACM
Abstract. This paper provides a call-by-name and a call-by-value calculus, both of which have a Curry-Howard correspondence to the minimal normal logic K. The calculi are extension...
APLAS
2005
ACM
14 years 3 months ago
2005
ACM