Parametric program slicing
- J. Field
- G. Ramalingam
- 1995
- POPL 1995
Publications
Date
Featured collections
Popular topics
19 results for John Field
Software hardening: A research agenda
- Tobias Wrigstad
- Patrick Eugster
- et al.
- 2009
- ECOOP 2009
Equations as a Uniform Framework for Partial. Evaluation and Abstract Interpretation
- J. Field
- J. Heering
- et al.
- 1998
- ACM Computing Surveys
Toward a Complete Transformational Toolkit for Compilers
- J.A. Bergstra
- T.B. Dinesh
- et al.
- 1997
- ACM TOPLAS
Slicing class hierarchies in C++
- Frank Tip
- Jong-Deok Choi
- et al.
- 1996
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
- John Field
- Maria-Cristina Marinescu
- et al.
- 2009
- Theoretical Computer Science
Technical forum: Using logical data models for understanding and transforming legacy business applications
- Satish Chandra
- Jackie de Vries
- et al.
- 2006
- IBM Systems Journal
Typestate verification: Abstraction techniques and complexity results
- J. Field
- D. Goyal
- et al.
- 2005
- Science of Computer Programming
Dynamic dependence in term rewriting systems and its application to program slicing
- John Field
- Frank Tip
- 1998
- Information and Software Technology