Return to search

First Class Copy & Paste

The Subtext project seeks to make programming fundamentally easier by altering the nature of programming languages and tools. This paper defines an operational semantics for an essential subset of the Subtext language. It also presents a fresh approach to the problems of mutable state, I/O, and concurrency.Inclusions reify copy & paste edits into persistent relationships that propagate changes from their source into their destination. Inclusions formulate a programming language in which there is no distinction between a program’s representation and its execution. Like spreadsheets, programs are live executions within a persistent runtime, and programming is direct manipulation of these executions via a graphical user interface. There is no need to encode programs into source text.Mutation of state is effected by the computation of hypothetical recursive variants of the state, which can then be lifted into new versions of the state. Transactional concurrency is based upon queued single-threaded execution. Speculative execution of queued hypotheticals provides concurrency as a semantically transparent implementation optimization.

Identiferoai:union.ndltd.org:MIT/oai:dspace.mit.edu:1721.1/32980
Date22 May 2006
CreatorsEdwards, Jonathan
ContributorsSoftware Design, Daniel Jackson
Source SetsM.I.T. Theses and Dissertation
Languageen_US
Detected LanguageEnglish
Format20 p., 610092 bytes, 11137489 bytes, application/pdf, application/postscript
RelationMassachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory

Page generated in 0.0021 seconds