Sciweavers

249 search results - page 3 / 50
» Polymorphic Binding-Time Analysis
Sort
View
PEPM
1995
ACM
15 years 1 months ago
Semantic Foundations of Binding Time Analysis for Imperative Programs
Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck
TAPSOFT
1995
Springer
15 years 1 months ago
Comparing Flow-Based Binding-Time Analyses
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...
Jens Palsberg
ESOP
1990
Springer
15 years 1 months ago
From Interpreting to Compiling Binding Times
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 ...
Charles Consel, Olivier Danvy