1689 search results - page 3 / 338 » Refining abstract interpretations |
105
Voted
AMAST
1997
Springer
15 years 4 months ago
1997
Springer
103
click to vote
DAC
2008
ACM
16 years 1 months ago
2008
ACM
ng Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation Yan Chen Dept. of Computer Science Portland State University Portland, OR, 97207 chenyan@cs.pdx.e...
117
click to vote
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
114
click to vote
CORR
2010
Springer
15 years 23 days ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
117
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...