Skip to main content


eCommons@Cornell >

Browsing by Author Teitelbaum, Tim

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 10 of 10
PreviewIssue DateTitleAuthor(s)
May-1987ALEX - an Alexical Programming LanguageKozen, Dexter; Teitelbaum, Tim; Chen, Wilfred Z.; Field, John H.; Pugh, William W.; Vander Zanden, Bradley T.
Apr-1995Caching Intermediate Results for Program ImprovementLiu, Yanhong A.; Teitelbaum, Tim
Mar-1979The Cornell Program Synthesizer: A Microcomputer Implementationof PL/CSTeitelbaum, Tim
Jul-1979The Cornell Program Synthesizer: A Tutorial IntroductionTeitelbaum, Tim
Sep-1993Deriving Incremental ProgramsLiu, Yanhong A.; Teitelbaum, Tim
1985Engineering: Cornell Quarterly, Vol.20, No.2 (Autumn 1985): Twenty Years of Computer Science at CornellGries, David; Teitelbaum, Tim; Reps, Thomas; Schneider, Fred B.; Babaoglu, Ozalp; Birman, Kenneth P.; Toueg, Sam; Krafft, Dean B.; Solworth, Jon A.; Duke, Diane; Fish, Michele
Jun-1976A Formal Syntax for PL/CSTeitelbaum, Tim
Mar-1995Incremental Computation for Transformational Software DevelopmentLiu, Yanhong A.; Teitelbaum, Tim
May-1990Incremental Reduction in the Lambda CalculusField, John H.; Teitelbaum, Tim
Sep-1994Systematic Derivation of Incremental ProgramsLiu, Yanhong A.; Teitelbaum, Tim
Showing results 1 to 10 of 10


© 2014 Cornell University Library Contact Us