3546 search results - page 49 / 710 » A Causal Logic of Logic Programming |
POPL
2010
ACM
14 years 7 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
AMAST
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
PADL
2007
Springer
14 years 4 months ago
2007
Springer
POPL
2000
ACM
14 years 2 months ago
2000
ACM
