2496 search results - page 120 / 500 » Error-detecting properties of languages |
99
Voted
FDL
2008
IEEE
15 years 2 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
103
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
97
Voted
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
127
Voted
ICFP
2006
ACM
16 years 21 days ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
91
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...