3342 search results - page 192 / 669 » Automating Abstract Interpretation |
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...
XPU
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. User acceptance testing is finally getting the attention and tool support it deserves. It is imperative that acceptance tests follow the best practices and embody the cri...
104
click to vote
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—A large part of a modern SOC’s debug complexity resides in the interaction between the main system components. ion-level debug moves the abstraction level of the debug process...
ENTCS
2007
14 years 11 months ago
2007
We investigate the domain-theoretic denotational semantics of a CPS with fresh name declaration. This is the target of a fully abstract CPS translation from the nu-calculus with ...
107
click to vote
TPHOL
2000
IEEE
15 years 3 months ago
2000
IEEE
Abstract. This paper presents proof terms for simply typed, intuitionistic higher order logic, a popular logical framework. Unification-based algorithms for the compression and re...