|
|
eCommons@Cornell >
Browsing by Author Teitelbaum, Tim
Showing results 1 to 10 of 10
| Preview | Issue Date | Title | Author(s) | | May-1987 | ALEX - an Alexical Programming Language | Kozen, Dexter; Teitelbaum, Tim; Chen, Wilfred Z.; Field, John H.; Pugh, William W.; Vander Zanden, Bradley T. |
| Apr-1995 | Caching Intermediate Results for Program Improvement | Liu, Yanhong A.; Teitelbaum, Tim |
| Mar-1979 | The Cornell Program Synthesizer: A Microcomputer Implementationof PL/CS | Teitelbaum, Tim |
| Jul-1979 | The Cornell Program Synthesizer: A Tutorial Introduction | Teitelbaum, Tim |
| Sep-1993 | Deriving Incremental Programs | Liu, Yanhong A.; Teitelbaum, Tim |
| 1985 | Engineering: Cornell Quarterly, Vol.20, No.2 (Autumn 1985): Twenty Years of Computer Science at Cornell | Gries, 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-1976 | A Formal Syntax for PL/CS | Teitelbaum, Tim |
| Mar-1995 | Incremental Computation for Transformational Software Development | Liu, Yanhong A.; Teitelbaum, Tim |
| May-1990 | Incremental Reduction in the Lambda Calculus | Field, John H.; Teitelbaum, Tim |
| Sep-1994 | Systematic Derivation of Incremental Programs | Liu, Yanhong A.; Teitelbaum, Tim |
Showing results 1 to 10 of 10
|
