( en | de | ru )

 

Disambiguation of "Teitelbaum, Tim"

Author of the publication

copydeleteadd this publication to your clipboard
The Why and Wherefore of the Cornell Program Synthesizer

, , and . ACM SIGPLAN Notices, 16 (6): 8--16 (June 1981)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Morduch Teitelbaum

Max Teitelbaum

Irving R Teitelbaum

Tim Mattern

Regeneration der Grünlandnarbe nach Winterbeweidung mit Rindern. Uni Gießen, (2009)

Friedel Timmermann

 

Other publications of authors with the same name

The Cornell Program Synthesizer: a syntax-directed programming environment.. ACM SIGPLAN Notices, 14 (10): 75 (1979)The Synthesizer Generator., and . Software Development Environments (SDE), page 42-48. ACM, (1984)SIGPLAN Notices 19 (5), May 1984.The Synthesizer Generator, and . Springer-Verlag, New York--Heidelberg--Berlin, (1989)Design and Implementation of a Fine-Grained Software Inspection Tool, , and . IEEE Transactions on Software Engineering, 29 (8): 721--733 (2003)Flow Insensitive Points-To Sets., , , and . SCAM, page 81-91. IEEE Computer Society, (2001)The Cornell Program Synthesizer: a Tutorial Introduction. report TR, 79-381. Department of Comp. Sc., Cornell University, Ithaca, NY, (July 1980)Static Caching for Incremental Computation., , and . ACM Trans. Program. Lang. Syst., 20 (3): 546-585 (1998)A Next-Generation Platform for Analyzing Executables., , , and . APLAS, volume 3780 of Lecture Notes in Computer Science, page 212-229. Springer, (2005)Model Checking x86 Executables with CodeSurfer/x86 and WPDS++., , , , , , , , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 158-163. Springer, (2005)Program Slicing of Hardware Description Languages., , , , , and . CHARME, volume 1703 of Lecture Notes in Computer Science, page 298-312. Springer, (1999)