17 search results - page 1 / 4 » A Semantic Model of Binding Times for Safe Partial Evaluatio... |
PLILP
1995
Springer
13 years 8 months ago
1995
Springer
ESOP
1990
Springer
13 years 9 months ago
1990
Springer
The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is ...
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...
APN
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
PEPM
1993
ACM
13 years 9 months ago
1993
ACM
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...