|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21 occurrences of 17 keywords
|
|
|
|
|
Results
Found 35 publication records. Showing 35 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | John Field, Vasco Thudichum Vasconcelos |
Selected Papers from the Eleventh International Conference on Coordination Models and Languages.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Raghavan Komondoor, V. Krishna Nandivada, Saurabh Sinha, John Field |
Identifying services from legacy batch applications. |
ISEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, Michael Hicks (eds.) |
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012 |
POPL |
2012 |
DBLP BibTeX RDF |
|
| 1 | Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv |
HAWKEYE: effective discovery of dataflow impediments to parallelization. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, Maria-Cristina V. Marinescu, Christian Stefansen |
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, Vasco Thudichum Vasconcelos (eds.) |
Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad |
Thorn: robust, concurrent, extensible scripting on the JVM. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
pattern matching, scripting, actors |
| 1 | Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad |
Thorn: robust concurrent scripting on the JVM. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
pattern matching, scripting, actors |
| 1 | John Field, Maria-Cristina V. Marinescu, Christian Stefansen |
Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Satish Chandra, Jackie De Vries, John Field, Howard M. Hess, Manivannan Kalidasan, Raghavan Komondoor, Frans Nieuwerth, Ganesan Ramalingam, Justin Xue |
Technical forum: Using logical data models for understanding and transforming legacy business applications. |
IBM Systems Journal |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv |
Abstract Counterexample-Based Refinement for Powerset Domains. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha |
Semantics-based reverse engineering of object-oriented data models. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
program understanding, type inference |
| 1 | John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav |
Typestate verification: Abstraction techniques and complexity results. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field |
Dependent Types for Program Understanding. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, Carlos A. Varela |
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
distributed state, tau-calculus, transactor, actor |
| 1 | Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh |
Automatic Verification of Strongly Dynamic Software Systems. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field |
Partially Disjunctive Heap Abstraction. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, Carlos A. Varela |
Towards a Programming Model for Building Reliable Systems with Distributed State. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, Deepak Goyal, G. Ramalingam, Eran Yahav |
Typestate Verification: Abstraction Techniques and Complexity Results. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv |
Deriving Specialized Program Analyses for Certifying Component-Client Conformance. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
model checking, static analysis, abstract interpretation, software components, predicate abstraction |
| 1 | Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv |
Compactly Representing First-Order Structures for Static Analysis. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, Gregor Snelting (eds.) |
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'01, Snowbird, Utah, USA, June 18-19, 2001 |
PASTE |
2001 |
DBLP BibTeX RDF |
|
| 1 | G. Ramalingam, John Field, Frank Tip |
Aggregate Structure Identification and Its Application to Program Analysis. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, G. Ramalingam |
Identifying Procedural Structure in Cobol Programs. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
COBOL |
| 1 | John Field, Jan Heering, T. B. Dinesh |
Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation. |
ACM Comput. Surv. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, Frank Tip |
Dynamic dependence in term rewriting systems and its application to program slicing. |
Information & Software Technology |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering |
Toward a Complete Transformational Toolkit for Compilers. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
compiler intermediate representation, program transformation, completion, partial evaluation, term-rewriting, imperative language |
| 1 | Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam |
Slicing Class Hierarchies in C++. |
OOPSLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering |
A Complete Transformational Toolkit for Compilers. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, G. Ramalingam, Frank Tip |
Parametric Program Slicing. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
C |
| 1 | John Field, Frank Tip |
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field |
A Graph Reduction Approach to Incremental Term Rewriting (Preliminary Report). |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field |
A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
| 1 | John Field |
On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, Tim Teitelbaum |
Incremental Reduction in the lambda Calculus. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #35 of 35 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")