MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "John Field" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

Identifying Procedural Structure in Cobol Programs
by John Field, G. Ramalingam — 1999 — In Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, volume 24.5 of Software Engeneering Notes (SEN
…Identifying Procedural Structure in Cobol Programs John Field G. Ramalingam IBM T.J. Watson…
Cited by 3 (0 self) – Add To MetaCart

Reasoning about Explicit and Implicit Representations of State
by Amr Sabry , John Field — 1993 — YALE UNIVERSITY
…Reasoning about Explicit and Implicit Representations of State Amr Sabry John Field Rice…
Cited by 12 (4 self) – Add To MetaCart

Aggregate Structure Identification and its Application to Program Analysis
by G. Ramalingam, John Field, Frank Tip — 1999 — In Symposium on Principles of Programming Languages
…Aggregate Structure Identification and its Application to Program Analysis G. Ramalingam John…
Cited by 38 (4 self) – Add To MetaCart

Guarded Types for Program Understanding
by Raghavan Komondoor, G. Ramalingam, Satish Ch, John Field
…, and John Field IBM Research Abstract. Weakly-typed languages such as Cobol often force programmers…
Add To MetaCart

Dependent types for program understanding
by Raghavan Komondoor, G. Ramalingam, Satish Ch, John Field — 2005 — In Proc. Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems
…, and John Field IBM Research Abstract. Weakly-typed languages such as Cobol often force programmers…
Cited by 6 (2 self) – Add To MetaCart

Shallow Finite State Verification
by John Field, Deepak Goyal, Eran Yahav, G. Ramalingam — 2002
…Shallow Finite State Verification John Field IBM T.J. Watson Research Center jfield…
Cited by 1 (1 self) – Add To MetaCart

Partially disjunctive heap abstraction
by Roman Manevich, Mooly Sagiv, G. Ramalingam, John Field — 2004 — Proceedings of the 11th International Symposium, SAS 2004
… , and John Field 2 1 Tel Aviv University {rumster,msagiv}@(email omitted); 2 IBM T.J. Watson Research Center {jfield…
Cited by 20 (9 self) – Add To MetaCart

Deriving Specialized Program Analyses for Certifying Component-Client Conformance
by G. Ramalingam, Alex Warshavsky, John Field, Deepak Goyal, Mooly Sagiv — 2002
…@(email omitted); Mooly Sagiv Tel-Aviv University sagiv@(email omitted); John Field IBM T.J. Watson Research Center jfield…
Cited by 26 (6 self) – Add To MetaCart

Compactly Representing First-Order Structures for Static Analysis
by Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Mooly Sagiv, D. Goyal, M. Sagiv — 2002 — In Proceedings of the 9th International Static Analysis Symposium
… 2 , J. Field 2 , D. Goyal 2 , and M. Sagiv 1 1 Tel Aviv University {rumster…
Cited by 12 (1 self) – Add To MetaCart

unknown title
by Partially Disjunctive, Heap Abstraction, Roman Manevich, Mooly Sagiv, G. Ramalingam, John Field
… Partially Disjunctive Heap Abstraction Roman Manevich1, Mooly Sagiv1, G. Ramalingam2, and John…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB