55 search results - page 1 / 11 » A Temporal-Logic Approach to Binding-Time Analysis |
67
Voted
LICS
1996
IEEE
15 years 1 months ago
1996
IEEE
76
Voted
ERSHOV
1999
Springer
15 years 1 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 ...
75
Voted
PEPM
1993
ACM
15 years 1 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
15 years 2 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
14 years 11 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...