55 search results - page 1 / 11 » A Temporal-Logic Approach to Binding-Time Analysis |
LICS
1996
IEEE
13 years 9 months ago
1996
IEEE
ERSHOV
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. Existing partial evaluators usually fix the strategy for binding-time analysis. But a single strategy cannot fulfill all goals without leading to compromises regarding ...
PEPM
1993
ACM
13 years 9 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
FLOPS
2010
Springer
13 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...
ECAI
2008
Springer
13 years 7 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...