3546 search results - page 340 / 710 » A Causal Logic of Logic Programming |
136
click to vote
ECOOP
2006
Springer
15 years 9 months ago
2006
Springer
A variety of application domains are interactive in nature: a primary task involves responding to external actions. In this paper, we introduce explicit programming language suppor...
154
click to vote
NJC
2006
15 years 5 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
192
click to vote
AAMAS
2011
Springer
15 years 1 months ago
2011
Springer
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...
143
click to vote
ENTCS
2007
15 years 5 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
263
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...