4211 search results - page 51 / 843 » Types as Abstract Interpretations |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
106
click to vote
CADE
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
114
click to vote
CSL
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...