You are here:
(02 Sep 2010,
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.
ore topic actions
Topic revision: r2 - 02 Sep 2010,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?