1422 search results - page 118 / 285 » Complementation in Abstract Interpretation |
150
click to vote
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
139
click to vote
MLMI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents a framework for corpus based multimodal research. Part of this framework is applied in the context of meeting modelling. A generic model for differen...
133
click to vote
FLOPS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
127
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
229
click to vote
POPL
1999
ACM
15 years 8 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...