2586 search results - page 126 / 518 » Automatic Abstraction for Congruences |
162
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
127
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
perception of domain concepts. We have run this experiment on the 367 645 English abstracts of PASCAL 2005-2006 bibliographic database (http://www.inist.fr) and compared the struct...
145
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
134
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that rela...
174
click to vote
ASM
2003
ASM
15 years 11 months ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...