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

23 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

Fast Fourier Analysis for
by Over Finite Field, John D. Lafferty, Daniel Rockmore
…Fast Fourier Analysis for SL 2 over a Finite Field and Related Numerical Experiments John D…
Add To MetaCart

PhotoTOC: Automatic Clustering for Browsing Personal Photographs
by John C. Platt, Mary Czerwinski, Brent A. Field — 2002
…Abstract PhotoTOC: Automatic Clustering for Browsing Personal Photographs John C. Platt Mary…
Cited by 32 (0 self) – Add To MetaCart

Inspections to Avert Terrorism: Robustness Under Severe Uncertainty
by L. Joe Moffitt, L. Joe Moffitt, John K. Stranlund, John K. Stranlund, Barry C. Field, Barry C. Field — 2005 — Journal of Homeland security and Emergency Management
…://www.umass.edu/resec/workingpapers INSPECTIONS TO AVERT TERRORISM: ROBUSTNESS UNDER SEVERE UNCERTAINTY Abstract: L. Joe Moffitt 1 , John K…
Cited by 2 (0 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

Spectroscopic Constraints On Models Of Ion Cyclotron Resonance Heating In The Polar Solar Corona And High-Speed Solar Wind
by Steven Cranmer, George Field, John, L. Kohl — 1999 — J
… HEATING IN THE POLAR SOLAR CORONA AND HIGH-SPEED SOLAR WIND STEVEN R. CRANMER,GEORGE B. FIELD, AND JOHN L…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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