1689 search results - page 161 / 338 » Refining abstract interpretations |
133
click to vote
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
115
Voted
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We study the expressiveness of finite message-passing automata with a priori unbounded FIFO channels and show them to capture exactly the class of MSC languages that are...
159
click to vote
LOPSTR
2004
Springer
15 years 10 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 ...
145
Voted
MLMI
2004
Springer
15 years 10 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...
142
click to vote
FLOPS
2010
Springer
15 years 10 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...