3342 search results - page 60 / 669 » Automating Abstract Interpretation |
CADE
2006
Springer
15 years 11 months ago
2006
Springer
We define an interpretation of the Isabelle/HOL logic in HOL Light and its metalanguage, OCaml. Some aspects of the Isabelle logic are not representable directly in the HOL Light o...
SEKE
2004
Springer
15 years 4 months ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
CSL
2009
Springer
15 years 3 months ago
2009
Springer
This paper extends for the first time semantic interpretation tools to infinite data in order to ensure Input/Output upper bounds on first order Haskell like programs on streams...
LICS
2000
IEEE
15 years 3 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
192
click to vote
POPL
2008
ACM
15 years 11 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...