![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
John C. Reynolds
Person information
- affiliation: Carnegie Mellon University, Pittsburgh, USA
- award (2003): Programming Languages Achievement Award
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2012
- [c29]Uday S. Reddy, John C. Reynolds:
Syntactic control of interference for separation logic. POPL 2012: 323-336 - 2011
- [c28]John C. Reynolds:
Making Program Logics Intelligible. TASE 2011: 3-4
2000 – 2009
- 2009
- [j15]Peter W. O'Hearn, Hongseok Yang, John C. Reynolds:
Separation and information hiding. ACM Trans. Program. Lang. Syst. 31(3): 11:1-11:50 (2009) - [c27]John C. Reynolds:
Using Category Theory to Design Programming Languages. ESOP 2009: 62-63 - 2008
- [j14]John C. Reynolds:
Some thoughts on teaching programming and programming languages. ACM SIGPLAN Notices 43(11): 108-110 (2008) - [j13]Noah Torp-Smith, Lars Birkedal, John C. Reynolds:
Local reasoning about a copying garbage collector. ACM Trans. Program. Lang. Syst. 30(4): 24:1-24:58 (2008) - [c26]John C. Reynolds:
Readable Formal Proofs. VSTTE 2008: 1 - 2005
- [c25]John C. Reynolds:
An Overview of Separation Logic. VSTTE 2005: 460-469 - 2004
- [c24]John C. Reynolds:
Toward a Grainless Semantics for Shared-Variable Concurrency. FSTTCS 2004: 35-48 - [c23]Lars Birkedal, Noah Torp-Smith, John C. Reynolds:
Local reasoning about a copying garbage collector. POPL 2004: 220-231 - [c22]Peter W. O'Hearn, Hongseok Yang, John C. Reynolds:
Separation and information hiding. POPL 2004: 268-280 - 2002
- [c21]John C. Reynolds:
Separation Logic: A Logic for Shared Mutable Data Structures. LICS 2002: 55-74 - 2001
- [c20]Peter W. O'Hearn, John C. Reynolds, Hongseok Yang:
Local Reasoning about Programs that Alter Data Structures. CSL 2001: 1-19 - 2000
- [j12]Peter W. O'Hearn, John C. Reynolds:
From Algol to polymorphic linear lambda-calculus. J. ACM 47(1): 167-223 (2000) - [j11]John C. Reynolds:
The design, definition and implementation of programming languages. ACM SIGSOFT Softw. Eng. Notes 25(1): 75 (2000) - [c19]John C. Reynolds:
An Intrinsic Semantics of Intersection Types. ICALP Satellite Workshops 2000: 269-270
1990 – 1999
- 1998
- [b2]John C. Reynolds:
Theories of programming languages. Cambridge University Press 1998, ISBN 978-0-521-59414-1, pp. I-XII, 1-500 - [j10]John C. Reynolds:
Definitional Interpreters Revisited. High. Order Symb. Comput. 11(4): 355-361 (1998) - [j9]John C. Reynolds:
Definitional Interpreters for Higher-Order Programming Languages. High. Order Symb. Comput. 11(4): 363-397 (1998) - 1997
- [j8]John C. Reynolds:
Beyond ML. ACM SIGPLAN Notices 32(1): 103-105 (1997) - 1996
- [j7]John C. Reynolds:
Beyond ML. ACM Comput. Surv. 28(4es): 172 (1996) - 1995
- [c18]John C. Reynolds:
Using Functor Categories to Generate Intermediate Code. POPL 1995: 25-36 - 1993
- [j6]John C. Reynolds, Gordon D. Plotkin:
On Functors Expressible in the Polymorphic Typed Lambda Calculus. Inf. Comput. 105(1): 1-29 (1993) - [j5]John C. Reynolds:
The Discoveries of Continuations. LISP Symb. Comput. 6(3-4): 233-248 (1993) - [c17]John C. Reynolds:
An Introduction to Logical Relations and Parametric Polymorphism - Tutorial. POPL 1993: 155-156 - 1991
- [c16]QingMing Ma, John C. Reynolds:
Types, Abstractions, and Parametric Polymorphism, Part 2. MFPS 1991: 1-40 - [c15]John C. Reynolds:
The Coherence of Languages with Intersection Types. TACS 1991: 675-700
1980 – 1989
- 1989
- [c14]John C. Reynolds:
Syntactic Control of Inference, Part 2. ICALP 1989: 704-722 - 1987
- [c13]John C. Reynolds:
Conjunctive Types and Algol-like Languages. LICS 1987: 119 - 1985
- [c12]John C. Reynolds:
Three Approaches to Type Structure. TAPSOFT, Vol.1 1985: 97-138 - 1984
- [c11]John C. Reynolds:
Polymorphism is not Set-Theoretic. Semantics of Data Types 1984: 145-156 - 1983
- [c10]John C. Reynolds:
Types, Abstraction and Parametric Polymorphism. IFIP Congress 1983: 513-523 - [c9]John C. Reynolds:
An Introduction to Specification Logic. Logic of Programs 1983: 442 - 1981
- [b1]John C. Reynolds:
The craft of programming. Prentice Hall International series in computer science, Prentice Hall 1981, ISBN 978-0-13-188862-3, pp. I-XIII, 1-434 - 1980
- [j4]John C. Reynolds:
Reasoning about arrays. ACM SIGPLAN Notices 15(1): 23 (1980) - [c8]John C. Reynolds:
Using category theory to design implicit conversions and generic operators. Semantics-Directed Compiler Generation 1980: 211-258
1970 – 1979
- 1979
- [j3]John C. Reynolds:
Reasoning About Arrays. Commun. ACM 22(5): 290-299 (1979) - 1978
- [c7]John C. Reynolds:
Syntactic Control of Interference. POPL 1978: 39-46 - 1977
- [j2]John C. Reynolds:
Semantics of the Domain of Flow Diagrams. J. ACM 24(3): 484-503 (1977) - 1975
- [e1]Robert M. Graham, Michael A. Harrison, John C. Reynolds:
Conference Record of the Second ACM Symposium on Principles of Programming Languages, Palo Alto, California, USA, January 1975. ACM Press 1975 [contents] - 1974
- [c6]John C. Reynolds:
On the Relation between Direct and Continuation Semantics. ICALP 1974: 141-156 - [c5]John C. Reynolds:
Towards a theory of type structure. Symposium on Programming 1974: 408-423 - 1972
- [c4]John C. Reynolds:
Definitional interpreters for higher-order programming languages. ACM Annual Conference (2) 1972: 717-740 - 1970
- [j1]John C. Reynolds:
GEDANKEN - a simple typeless language based on the principle of completeness and the reference concept. Commun. ACM 13(5): 308-319 (1970)
1960 – 1969
- 1968
- [c3]John C. Reynolds:
Automatic computation of data set definitions. IFIP Congress (1) 1968: 456-461 - [c2]John C. Reynolds:
A generalized resolution principle based upon context-free grammars. IFIP Congress (2) 1968: 1405-1411 - 1965
- [c1]John C. Reynolds:
Programming languages for non-numeric processing - 2: An introduction to the COGENT programming system. ACM National Conference 1965: 422-436
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint