31387 search results - page 442 / 6278 » Abstracts |
155
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
182
click to vote
PERCOM
2006
ACM
16 years 7 months ago
2006
ACM
This paper addresses the problem of implementing an context model. First, the abstract context model is represented by a network of situations. Two different implementations for t...
177
click to vote
FMICS
2009
Springer
16 years 2 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
169
click to vote
IWOCA
2009
Springer
16 years 2 months ago
2009
Springer
d abstract) Thomas Feierl⋆ Fakult¨at f¨ur Mathematik Universit¨at Wien Nordbergstr. 15 1090 Wien, Austria Abstract. We determine the weak limit of the distribution of the rand...
221
click to vote
TABLEAUX
2009
Springer
16 years 2 months ago
2009
Springer
base types and disallows lambda abstractions and quantifiers. We show that this fragment has the finite model property and that satisfiability can be decided with a terminating ...