1689 search results - page 95 / 338 » Refining abstract interpretations |
131
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
133
click to vote
TPLP
2002
15 years 4 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
133
click to vote
IASTEDSE
2004
15 years 5 months ago
2004
This paper presents a development process with particular focus on non-functional properties. The process is built around the concept of measurements at different levels of abstra...
113
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
120
click to vote
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we give an operational and denotational semantics for a 3APL meta-language, with which various 3APL interpreters can be programmed. We moreover prove equiv...