Home
Schedule
Abstract Template
Masters Attendance
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
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.
