The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tim Teitelbaum: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Susan Horwitz, Tim Teitelbaum
    Generating Editing Environments Based on Relations and Attributes. [Citation Graph (5, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1986, v:8, n:4, pp:577-608 [Journal]
  2. Tim Teitelbaum, Thomas W. Reps
    The Cornell Program Synthesizer: A Syntax-Directed Programming Environment. [Citation Graph (3, 0)][DBLP]
    Commun. ACM, 1981, v:24, n:9, pp:563-573 [Journal]
  3. Thomas W. Reps, Tim Teitelbaum, Alan J. Demers
    Incremental Context-Dependent Analysis for Language-Based Editors. [Citation Graph (3, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1983, v:5, n:3, pp:449-477 [Journal]
  4. Alan J. Demers, Thomas W. Reps, Tim Teitelbaum
    Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors. [Citation Graph (2, 0)][DBLP]
    POPL, 1981, pp:105-116 [Conf]
  5. Thomas W. Reps, Tim Teitelbaum
    The Synthesizer Generator. [Citation Graph (1, 0)][DBLP]
    Software Development Environments (SDE), 1984, pp:42-48 [Conf]
  6. Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum
    A Next-Generation Platform for Analyzing Executables. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:212-229 [Conf]
  7. Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum
    Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:158-163 [Conf]
  8. Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum
    CodeSurfer/x86-A Platform for Analyzing x86 Executables. [Citation Graph (0, 0)][DBLP]
    CC, 2005, pp:250-254 [Conf]
  9. Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum
    Program Slicing of Hardware Description Languages. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:298-312 [Conf]
  10. John Field, Tim Teitelbaum
    Incremental Reduction in the lambda Calculus. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1990, pp:307-322 [Conf]
  11. Lynette I. Millett, Tim Teitelbaum
    Channel Dependence Analysis for Slicing Promela. [Citation Graph (0, 0)][DBLP]
    PDSE, 1999, pp:52-61 [Conf]
  12. Yanhong A. Liu, Tim Teitelbaum
    Caching Intermediate Results for Program Improvement. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:190-201 [Conf]
  13. Tim Teitelbaum, Richard Chapman
    Higher-Order Attribute Grammars and Editing Environments. [Citation Graph (0, 0)][DBLP]
    PLDI, 1990, pp:197-208 [Conf]
  14. Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
    Discovering Auxiliary Information for Incremental Computation. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:157-170 [Conf]
  15. William Pugh, Tim Teitelbaum
    Incremental Computation via Function Caching. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:315-328 [Conf]
  16. Thomas W. Reps, Carla Marceau, Tim Teitelbaum
    Remote Attribute Updating for Language-Based Editors. [Citation Graph (0, 0)][DBLP]
    POPL, 1986, pp:1-13 [Conf]
  17. Paul Anderson, David Binkley, Genevieve Rosay, Tim Teitelbaum
    Flow Insensitive Points-To Sets. [Citation Graph (0, 0)][DBLP]
    SCAM, 2001, pp:81-91 [Conf]
  18. Roger Hoover, Tim Teitelbaum
    Efficient incremental evaluation of aggregate values in attribute grammars. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Symposium on Compiler Construction, 1986, pp:39-50 [Conf]
  19. Susan Horwitz, Alan J. Demers, Tim Teitelbaum
    An Efficient General Iterative Algorithm for Dataflow Analysis. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1987, v:24, n:6, pp:679-694 [Journal]
  20. Paul Anderson, David Binkley, Genevieve Rosay, Tim Teitelbaum
    Flow insensitive points-to sets. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2002, v:44, n:13, pp:743-754 [Journal]
  21. Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
    Strengthening invariants for efficient computation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:41, n:2, pp:139-172 [Journal]
  22. Yanhong A. Liu, Tim Teitelbaum
    Systematic Derivation of Incremental Programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1995, v:24, n:1, pp:1-39 [Journal]
  23. Paul Anderson, Thomas W. Reps, Tim Teitelbaum, Mark Zarins
    Tool Support for Fine-Grained Software Inspection. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2003, v:20, n:4, pp:42-50 [Journal]
  24. Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum
    Program slicing for VHDL. [Citation Graph (0, 0)][DBLP]
    STTT, 2002, v:4, n:1, pp:125-137 [Journal]
  25. Lynette I. Millett, Tim Teitelbaum
    Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:2, n:4, pp:343-349 [Journal]
  26. Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
    Static Caching for Incremental Computation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:3, pp:546-585 [Journal]
  27. Paul Anderson, Thomas W. Reps, Tim Teitelbaum
    Design and Implementation of a Fine-Grained Software Inspection Tool. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:8, pp:721-733 [Journal]

  28. WYSINWYX: What You See Is Not What You eXecute. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002