Home Advanced Search

Advanced Search - Page 1

Generating Language-based Environments
  • DJVU
  • English
  • Year: 1984
  • Author: Thomas W. Reps
Generating Language-Based Environments
  • PDF
  • English
  • Year: 2004
  • Author: Thomas W. Reps
The Synthesizer Generator: A System for Constructing Language-Based Editors
  • PDF
  • English
  • Year: 1989
  • Author: Thomas W. Reps, Tim Teitelbaum
The Synthesizer Generator Reference Manual
  • PDF
  • English
  • Year: 1989
  • Author: Thomas W. Reps, Tim Teitelbaum
Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2007
  • Author: Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)
ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings
  • DJVU
  • English
  • Year: 1988
  • Author: Thomas Reps, Susan Horwitz (auth.), H. Ganzinger (eds.)
ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings
  • PDF
  • English
  • Year: 1988
  • Author: Thomas Reps, Susan Horwitz (auth.), H. Ganzinger (eds.)
Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Gogul Balakrishnan, Thomas Reps (auth.), Byron Cook, Andreas Podelski (eds.)
Analysis Techniques for Information Security
  • PDF
  • English
  • Year: 2010
  • Author: Somesh Jha, Anupam Datta, Ninghui Li, David Melski, Thomas Reps
search