Toward a programming model for building reliable systems with distributed state
- John Field
- Carlos Varela
- 2003
- Electronic Notes in Theoretical Computer Science
Publications
19 results for John Field
Deriving specialized program analyses for certifying component-client conformance
- G. Ramalingam
- Alex Warshavsky
- et al.
- 2002
- PLDI 2002
Identifying Procedural Structure in Cobol Programs
- John Field
- G. Ramalingam
- 1999
- PASTE 1999
Dynamic dependence in term rewriting systems and its application to program slicing
- John Field
- Frank Tip
- 1998
- Information and Software Technology
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
- OOPSLA 1996
Slicing class hierarchies in C++
- Frank Tip
- Jong-Deok Choi
- et al.
- 1996
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Parametric program slicing
- J. Field
- G. Ramalingam
- 1995
- POPL 1995