Title: Program bifurcation for a polymorphically typed functional language
Authors: De Niel, Anne ×
Bevers, Eddy
De Vlaminck, Karel #
Issue Date: Sep-1991
Publisher: ACM Press
Series Title: SIGPLAN notices vol:26 issue:9 pages:142-153
Abstract: To enable successful self-application of a partial evaluator, the actual specialization part of the partial evaluator should be reduced to its essentials. Therefore, in practical partial evaluators the specialization phase is preceded by a binding time analysis phase. In its simplest form, the analysis classifies program data as either fully known or unknown.
ISSN: 0362-1340
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science