The SCEAS System
Navigation Menu

Search the dblp DataBase


John Field: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering
    A Complete Transformational Toolkit for Compilers. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:92-107 [Conf]
  2. Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha
    Semantics-based reverse engineering of object-oriented data models. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:192-201 [Conf]
  3. John Field, Tim Teitelbaum
    Incremental Reduction in the lambda Calculus. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1990, pp:307-322 [Conf]
  4. Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam
    Slicing Class Hierarchies in C++. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1996, pp:179-197 [Conf]
  5. John Field, G. Ramalingam
    Identifying Procedural Structure in Cobol Programs. [Citation Graph (0, 0)][DBLP]
    PASTE, 1999, pp:1-10 [Conf]
  6. John Field
    A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis. [Citation Graph (0, 0)][DBLP]
    PEPM, 1992, pp:98-107 [Conf]
  7. G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv
    Deriving Specialized Program Analyses for Certifying Component-Client Conformance. [Citation Graph (0, 0)][DBLP]
    PLDI, 2002, pp:83-94 [Conf]
  8. John Field, Frank Tip
    Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:415-431 [Conf]
  9. John Field
    On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1990, pp:1-15 [Conf]
  10. John Field, G. Ramalingam, Frank Tip
    Parametric Program Slicing. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:379-392 [Conf]
  11. John Field, Carlos A. Varela
    Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:195-208 [Conf]
  12. G. Ramalingam, John Field, Frank Tip
    Aggregate Structure Identification and Its Application to Program Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:119-132 [Conf]
  13. John Field
    A Graph Reduction Approach to Incremental Term Rewriting (Preliminary Report). [Citation Graph (0, 0)][DBLP]
    RTA, 1993, pp:259-273 [Conf]
  14. John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
    Typestate Verification: Abstraction Techniques and Complexity Results. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:439-462 [Conf]
  15. Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv
    Compactly Representing First-Order Structures for Static Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:196-212 [Conf]
  16. Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field
    Partially Disjunctive Heap Abstraction. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:265-279 [Conf]
  17. Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field
    Dependent Types for Program Understanding. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:157-173 [Conf]
  18. John Field, Jan Heering, T. B. Dinesh
    Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:2- [Journal]
  19. John Field, Carlos A. Varela
    Towards a Programming Model for Building Reliable Systems with Distributed State. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
  20. John Field, Frank Tip
    Dynamic dependence in term rewriting systems and its application to program slicing. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1998, v:40, n:11-12, pp:609-636 [Journal]
  21. John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav
    Typestate verification: Abstraction techniques and complexity results. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:58, n:1-2, pp:57-82 [Journal]
  22. Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering
    Toward a Complete Transformational Toolkit for Compilers. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:5, pp:639-684 [Journal]
  23. Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv
    Abstract Counterexample-Based Refinement for Powerset Domains. [Citation Graph (0, 0)][DBLP]
    Program Analysis and Compilation, 2006, pp:273-292 [Conf]
  24. John Field, Maria-Cristina V. Marinescu, Christian Stefansen
    Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2007, pp:76-95 [Conf]

  25. Thorn: robust, concurrent, extensible scripting on the JVM. [Citation Graph (, )][DBLP]

  26. Thorn: robust concurrent scripting on the JVM. [Citation Graph (, )][DBLP]

  27. Automatic Verification of Strongly Dynamic Software Systems. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002