University of Illinois Urbana-Champaign

Request-Based Mediated Execution

Sundresh, Sameer

Content Files
sundresh-dissertation-2009.pdf

Permalink

https://hdl.handle.net/2142/13967

Description

Title
Request-Based Mediated Execution
Author(s)
Sundresh, Sameer
Issue Date
2009-05-04
Doctoral Committee Chair(s)
Agha, Gul A.
Committee Member(s)
  • Kamin, Samuel
  • Roşu, Grigore
  • Talcott, Carolyn L.
Department of Study
Computer Science
Discipline
Computer Science
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
Ph.D.
Degree Level
Dissertation
Date of Ingest
2009-10-11T03:03:30Z
Keyword(s)
  • programming languages
  • reflection
  • javascript
Language
en
Abstract
How do you dynamically customize the programming language available in a context within an existing system, without changing the underlying system? This dissertation introduces a language design approach that addresses this problem. The basic idea is to structure programs as systems of multiple interacting levels of abstraction, where all of the primitive constructs used by higher levels are actually implemented as defined constructs by lower levels. This is accomplished by allowing lower levels to mediate the execution of higher levels. This structure is much like system-level virtualization, but much finer-grained. The approach builds on three existing programming language technologies: delimited continuations, dynamic scoping, and call-by-name nonstrict evaluation. The dissertation examines how to define a variety of different language constructs using this approach, including variable binding, control structures, and basic concurrency features. The approach is then applied to mediating execution of third-party Javascript code on web pages.
Type of Resource
  • text
  • image
Permalink
http://hdl.handle.net/2142/13967

Owning Collections

Dissertations and Theses - Computer Science PRIMARY
Dissertations and Theses from the Siebel School of Computer Science