Imperative Program Transformation by Rewriting

This publication has 17 references indexed in Scilit:

• An annotation language for optimizing software libraries
  Published by Association for Computing Machinery (ACM) ,1999
• Interface compilation: steps toward compiling program interfaces as languages
  IEEE Transactions on Software Engineering, 1999
• PAG - an efficient program analyzer generator
  International Journal on Software Tools for Technology Transfer, 1998
• A toolkit for constructing type- and constraint-based program analyses
  Published by Springer Nature ,1998
• Practical program analysis using general purpose logic programming systems—a case study
  ACM SIGPLAN Notices, 1996
• Computer Science Logic
  Published by Springer Nature ,1996
• Generating data flow analysis algorithms from modal specifications
  Science of Computer Programming, 1993
• Data flow analysis as model checking
  Published by Springer Nature ,1991
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Transformational component for programming language grammar
  Published by Office of Scientific and Technical Information (OSTI) ,1970