T
Tim Teitelbaum
Researcher at Cornell University
Publications - 42
Citations - 3675
Tim Teitelbaum is an academic researcher from Cornell University. The author has contributed to research in topics: Generator (computer programming) & Source code. The author has an hindex of 29, co-authored 42 publications receiving 3626 citations.
Papers
More filters
Journal ArticleDOI
The Cornell program synthesizer: a syntax-directed programming environment
Tim Teitelbaum,Thomas Reps +1 more
TL;DR: The Cornell Program Synthesizer demands a structural perspective at all stages of program development and its separate features are unified by a common foundation: a grammar for the programming language.
Journal ArticleDOI
The synthesizer generator
Thomas Reps,Tim Teitelbaum +1 more
TL;DR: The Synthesizer Generator is a tool for creating full-screen editors for manipulating programs in the language from language descriptions, specifying the desired relationships and the feedback to be given when they are violated.
Book
The Synthesizer Generator: A System for Constructing Language-Based Editors
Thomas Reps,Tim Teitelbaum +1 more
TL;DR: The Synthesizer Generator is ideal for use in course projects and should be of particular interest to those involved in compiler construction, and the book contains a wealth of material for those building specialized editors "by hand", without using an editor-generating tool.
Journal ArticleDOI
Incremental Context-Dependent Analysis for Language-Based Editors
TL;DR: This paper discusses how updating can be carried out and presents several algorithms for the task, including one that is asymptotically optimal in time.
Proceedings ArticleDOI
Incremental computation via function caching
William Pugh,Tim Teitelbaum +1 more