1189 search results - page 31 / 238 » The Quotient of an Abstract Interpretation |
106
click to vote
FASE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
102
Voted
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
Additional Key Words and Phrases: program analysis, modular arithmetic, abstract interpretation, affine relation, interprocedural analysis
77
Voted
SLP
1990
15 years 2 months ago
1990
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
CSL
2000
Springer
15 years 19 days ago
2000
Springer
Abstract. We investigate the possibility of giving a computational interpretation of an involutive negation in classical natural deduction. We first show why this cannot be simply ...
78
Voted
JSYML
2006
15 years 23 days ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L