×

zbMATH — the first resource for mathematics

Teitelbaum, Tim

Compute Distance To:
Author ID: teitelbaum.tim Recent zbMATH articles by "Teitelbaum, Tim"
Published as: Teitelbaum, T.; Teitelbaum, Tim
Documents Indexed: 8 Publications since 1987, including 2 Books

Publications by Year

Citations contained in zbMATH

6 Publications have been cited 21 times in 20 Documents Cited by Year
The Synthesizer Generator. A System for Constructing Language-Based Editors. Zbl 0711.68028
Reps, Thomas W.; Teitelbaum, Tim
7
1989
Model checking x86 executables with CodeSurfer/x86 and WPDS++. Zbl 1081.68604
Balakrishnan, G.; Reps, T.; Kidd, N.; Lal, A.; Lim, J.; Melski, D.; Gruian, R.; Yong, S.; Chen, C.-H.; Teitelbaum, T.
4
2005
The synthesizer generator refence manual. 3rd ed. Zbl 0711.68029
Reps, Thomas W.; Teitelbaum, Tim
4
1989
Systematic derivation of incremental programs. Zbl 0827.68015
Liu, Yanhong A.; Teitelbaum, Tim
3
1995
An efficient general iterative algorithm for dataflow analysis. Zbl 0612.68015
Horwitz, Susan; Demers, Alan; Teitelbaum, Tim
2
1987
Strengthening invariants for efficient computation. Zbl 0988.68052
Liu, Yanhong A.; Stoller, Scott D.; Teitelbaum, Tim
1
2002
Model checking x86 executables with CodeSurfer/x86 and WPDS++. Zbl 1081.68604
Balakrishnan, G.; Reps, T.; Kidd, N.; Lal, A.; Lim, J.; Melski, D.; Gruian, R.; Yong, S.; Chen, C.-H.; Teitelbaum, T.
4
2005
Strengthening invariants for efficient computation. Zbl 0988.68052
Liu, Yanhong A.; Stoller, Scott D.; Teitelbaum, Tim
1
2002
Systematic derivation of incremental programs. Zbl 0827.68015
Liu, Yanhong A.; Teitelbaum, Tim
3
1995
The Synthesizer Generator. A System for Constructing Language-Based Editors. Zbl 0711.68028
Reps, Thomas W.; Teitelbaum, Tim
7
1989
The synthesizer generator refence manual. 3rd ed. Zbl 0711.68029
Reps, Thomas W.; Teitelbaum, Tim
4
1989
An efficient general iterative algorithm for dataflow analysis. Zbl 0612.68015
Horwitz, Susan; Demers, Alan; Teitelbaum, Tim
2
1987

Citations by Year