Binding-TimeAnalysis:SubtypingVersusSubeffecting
Stc
Date: 2008-11-27
Time: 11:45
Room: BBL room 471
Speaker: Guangyu Zhang
Title: Subtyping versus Subeffecting (thesis defense)
Abstract
Binding time analysis is an important program analysis mainly used in
partial evaluation. It determines which part in a program is static, that
is its value is computable at compile time and which part is dynamic.
Different techniques have been described for implementing the analysis. In
this thesis, I will specify and implement different variants of binding
time analysis. Among these, the focus will be on the comparison of
subtyping
and subeffecting as extensions to a polyvariant analysis on a polymorphic
language.
