John C. Reynolds

Publication Activity (10 Years)

Years Active: 1965-2012
Publications (10 Years): 0

Top Topics

Computational Properties

Automated Reasoning

Control Problems

Top Venues

Publications

Uday S. Reddy, John C. Reynolds
Syntactic control of interference for separation logic. POPL (2012)
John C. Reynolds
Making Program Logics Intelligible. TASE (2011)
John C. Reynolds
Using Category Theory to Design Programming Languages. ESOP (2009)
Peter W. O'Hearn, Hongseok Yang, John C. Reynolds
Separation and information hiding. ACM Trans. Program. Lang. Syst. 31 (3) (2009)
John C. Reynolds
Some thoughts on teaching programming and programming languages. ACM SIGPLAN Notices 43 (11) (2008)
Noah Torp-Smith, Lars Birkedal, John C. Reynolds
Local reasoning about a copying garbage collector. ACM Trans. Program. Lang. Syst. 30 (4) (2008)
John C. Reynolds
Readable Formal Proofs. VSTTE (2008)
John C. Reynolds
An Overview of Separation Logic. VSTTE (2005)
Lars Birkedal, Noah Torp-Smith, John C. Reynolds
Local reasoning about a copying garbage collector. POPL (2004)
Peter W. O'Hearn, Hongseok Yang, John C. Reynolds
Separation and information hiding. POPL (2004)
John C. Reynolds
Toward a Grainless Semantics for Shared-Variable Concurrency. FSTTCS (2004)
John C. Reynolds
Separation Logic: A Logic for Shared Mutable Data Structures. LICS (2002)
Peter W. O'Hearn, John C. Reynolds, Hongseok Yang
Local Reasoning about Programs that Alter Data Structures. CSL (2001)
Peter W. O'Hearn, John C. Reynolds
From Algol to polymorphic linear lambda-calculus. J. ACM 47 (1) (2000)
John C. Reynolds
The design, definition and implementation of programming languages. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
John C. Reynolds
An Intrinsic Semantics of Intersection Types. ICALP Satellite Workshops (2000)
John C. Reynolds
Definitional Interpreters for Higher-Order Programming Languages. High. Order Symb. Comput. 11 (4) (1998)
John C. Reynolds
Definitional Interpreters Revisited. High. Order Symb. Comput. 11 (4) (1998)
John C. Reynolds
Beyond ML. ACM SIGPLAN Notices 32 (1) (1997)
John C. Reynolds
Beyond ML. ACM Comput. Surv. 28 (4es) (1996)
John C. Reynolds
Using Functor Categories to Generate Intermediate Code. POPL (1995)
John C. Reynolds
The Discoveries of Continuations. LISP Symb. Comput. 6 (3-4) (1993)
John C. Reynolds, Gordon D. Plotkin
On Functors Expressible in the Polymorphic Typed Lambda Calculus Inf. Comput. 105 (1) (1993)
John C. Reynolds
An Introduction to Logical Relations and Parametric Polymorphism - Tutorial. POPL (1993)
John C. Reynolds
The Coherence of Languages with Intersection Types. TACS (1991)
QingMing Ma, John C. Reynolds
Types, Abstractions, and Parametric Polymorphism, Part 2. MFPS (1991)
John C. Reynolds
Syntactic Control of Inference, Part 2. ICALP (1989)
John C. Reynolds
Conjunctive Types and Algol-like Languages LICS (1987)
John C. Reynolds
Three Approaches to Type Structure. TAPSOFT, Vol.1 (1985)
John C. Reynolds
Polymorphism is not Set-Theoretic. Semantics of Data Types (1984)
John C. Reynolds
An Introduction to Specification Logic. Logic of Programs (1983)
John C. Reynolds
Types, Abstraction and Parametric Polymorphism. IFIP Congress (1983)
John C. Reynolds
Reasoning about arrays. ACM SIGPLAN Notices 15 (1) (1980)
John C. Reynolds
Using category theory to design implicit conversions and generic operators. Semantics-Directed Compiler Generation (1980)
John C. Reynolds
Reasoning About Arrays. Commun. ACM 22 (5) (1979)
John C. Reynolds
Syntactic Control of Interference. POPL (1978)
John C. Reynolds
Semantics of the Domain of Flow Diagrams. J. ACM 24 (3) (1977)
John C. Reynolds
On the Relation between Direct and Continuation Semantics. ICALP (1974)
John C. Reynolds
Towards a theory of type structure. Symposium on Programming (1974)
John C. Reynolds
Definitional interpreters for higher-order programming languages. ACM Annual Conference (2) (1972)
John C. Reynolds
GEDANKEN - a simple typeless language based on the principle of completeness and the reference concept. Commun. ACM 13 (5) (1970)
John C. Reynolds
Automatic computation of data set definitions. IFIP Congress (1) (1968)
John C. Reynolds
A generalized resolution principle based upon context-free grammars. IFIP Congress (2) (1968)
John C. Reynolds
Programming languages for non-numeric processing - 2: An introduction to the COGENT programming system. ACM National Conference (1965)