233 search results - page 19 / 47 » Specifying, Programming and Verifying with Equational Logic |
121
click to vote
PLDI
2011
ACM
14 years 1 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
NJC
2006
14 years 11 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...
178
click to vote
POPL
2006
ACM
15 years 11 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
86
Voted
ATAL
2005
Springer
15 years 4 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
107
click to vote
POPL
2012
ACM
13 years 6 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...