3342 search results - page 470 / 669 » Automating Abstract Interpretation |
98
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
108
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
78
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
84
Voted
AIED
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a framework for the automatic annotation of learning objects (LOs) with empirical usage metadata. Our implementation of the Intelligent Learning Object Guide (...
101
click to vote
TFM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...