4257 search results - page 2 / 852 » The Logical Modularity of Programs |
RTA
2010
Springer
13 years 8 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
FMCO
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
ECAI
2006
Springer
13 years 8 months ago
2006
Springer
CORR
2000
Springer
13 years 4 months ago
2000
Springer
FAC
2007
13 years 4 months ago
2007
In object-oriented programming, reentrant method invocations and shared references make it difļ¬cult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...