Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

19 results for John Field

Parametric program slicing
- - J. Field
  - G. Ramalingam
- 1995
- POPL 1995
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