MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Tim Teitelbaum" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

Caching Intermediate Results for Program Improvement
by Yanhong Liu, Tim Teitelbaum — 1995 — In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
…Caching Intermediate Results for Program Improvement Yanhong A. Liu Tim Teitelbaum March 1995…
Cited by 17 (7 self) – Add To MetaCart

Software inspection using codesurfer
by Paul Anderson, Tim Teitelbaum — 2001 — In Workshop on Inspection in Software Engineering
… 1 Software Inspection Using CodeSurfer Paul Anderson, Tim Teitelbaum I. Introduction Software…
Cited by 34 (0 self) – Add To MetaCart

Codesurfer/x86-a platform for analyzing x86 executables
by Gogul Balakrishnan, Radu Gruian, Thomas Reps, Tim Teitelbaum — 2005 — of Lecture Notes in Computer Science
… , Thomas Reps 1,2 , and Tim Teitelbaum 2 1 Comp. Sci. Dept., University of Wisconsin; {bgogul…
Cited by 3 (0 self) – Add To MetaCart

Incremental Computation for Transformational Software Development
by Yanhong A. Liu, Tim Teitelbaum — 1995
…Incremental Computation for Transformational Software Development Yanhong A. Liu Tim Teitelbaum…
Cited by 3 (3 self) – Add To MetaCart

Slicing Promela and its Applications to Model Checking, Simulation, and Protocol Understanding
by Lynette I. Millett, Tim Teitelbaum — 1998 — In Proceedings of the 4th International SPIN Workshop
… Understanding Lynette I. Millett and Tim Teitelbaum * (millett@(email omitted);, tt@(email omitted);) Department…
Cited by 11 (0 self) – Add To MetaCart

Flow insensitive points-to sets
by Paul Anderson, David Binkley, Genevieve Rosay, Tim Teitelbaum — 2001 — In Proceedings of the first IEEE Workshop on Source Code Analysis and Manipulation
…Flow Insensitive Points-to Sets Paul Anderson David Binkley † Genevieve Rosay Tim Teitelbaum…
Cited by 6 (2 self) – Add To MetaCart

Systematic Derivation of Incremental Programs
by Yanhong A. Liu, Tim Teitelbaum — 1995
…Systematic Derivation of Incremental Programs Yanhong A. Liu y , Tim Teitelbaum Department…
Cited by 37 (21 self) – Add To MetaCart

Slicing Promela and its Applications to Model Checking, Simulation,
by And Protocol Understanding, Lynette I. Millett, Tim Teitelbaum — 1998 — In Proceedings of the 4th International SPIN Workshop
… Understanding Abstract Lynette I. Millett and Tim Teitelbaum * (millett@(email omitted);, tt…
Add To MetaCart

Strengthening invariants for efficient computation
by Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum — 2001 — in Conference Record of the 23rd Annual ACM Symposium on Principles of Programming Languages
… , Tim Teitelbaum b a Computer Science Department, State University of New York at Stony Brook, Stony…
Cited by 2 (2 self) – Add To MetaCart

Discovering Auxiliary Information for Incremental Computation
by Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum — 1996 — In Conference Record of the 23rd Annual ACM Symposium on Principles of Programming Languages
… y Tim Teitelbaum Department of Computer Science, Cornell University, Ithaca, New York 14853…
Cited by 24 (12 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB