Binding-time Analysis: Abstract Interpretation versus Type Inference (1994)
Cached
Download Links
- [www.brics.dk]
- [www.cs.purdue.edu]
- [www.brics.dk]
- [www.cs.ucla.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | IN PROC. ICCL'94, FIFTH IEEE INTERNATIONAL CONFERENCE ON COMPUTER LANGUAGES |
| Citations: | 9 - 3 self |
BibTeX
@INPROCEEDINGS{Palsberg94binding-timeanalysis:,
author = {Jens Palsberg and Michael I. Schwartzbach},
title = {Binding-time Analysis: Abstract Interpretation versus Type Inference },
booktitle = {IN PROC. ICCL'94, FIFTH IEEE INTERNATIONAL CONFERENCE ON COMPUTER LANGUAGES},
year = {1994},
pages = {289--298},
publisher = {IEEE Computer Society Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Binding-time analysis is important in partial evaluators. Its task is to determine which parts of a program can be evaluated if some of the expected input is known. Two approaches to do this are abstract interpretation and type inference. We compare two specific such analyses to see which one determines most program parts to be eliminable. The first is a an abstract interpretation approach based on closure analysis and the second is the type inference approach of Gomard and Jones. Both apply to the pure -calculus. We prove that the abstract interpretation approach is more powerful than that of Gomard and Jones: the former determines the same and possibly more program parts to be eliminable as the latter.
