John C. Reynolds | Academic Influence

John C. Reynolds's AcademicInfluence.com Rankings

John C. Reynolds

Computer Science

#96

World Rank

#102

Historical Rank

#56

USA Rank

Database

#989

World Rank

#1041

Historical Rank

#292

USA Rank

computer-science Degrees

Download Badge

Computer Science

John C. Reynolds's Degrees

Bachelors Mathematics Amherst College

Similar Degrees You Can Earn

Best Online Bachelor's in Math 2025

Why Is John C. Reynolds Influential?

(Suggest an Edit or Addition)

According to Wikipedia, John Charles Reynolds was an American computer scientist. Education and affiliations John Reynolds studied at Purdue University and then earned a Doctor of Philosophy in theoretical physics from Harvard University in 1961. He was a professor of information science at Syracuse University from 1970 to 1986. From then until his death, he was a professor of computer science at Carnegie Mellon University. He also held visiting positions at Aarhus University , The University of Edinburgh, Imperial College London, Microsoft Research and Queen Mary University of London.

(See a Problem?)

John C. Reynolds's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Separation logic: a logic for shared mutable data structures (2002) (2501)
Towards a theory of type structure (1974) (1046)
Types, Abstraction and Parametric Polymorphism (1983) (999)
Definitional Interpreters for Higher-Order Programming Languages (1972) (887)
Local Reasoning about Programs that Alter Data Structures (2001) (796)
The essence of ALGOL (1997) (308)
The discoveries of continuations (1993) (299)
Syntactic control of interference (1978) (298)
Separation and information hiding (2004) (255)
Polymorphism is not Set-Theoretic (1984) (213)
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept (1970) (170)
Using category theory to design implicit conversions and generic operators (1980) (167)
Three Approaches to Type Structure (1985) (165)
Intuitionistic reasoning about shared mutable data structure (1999) (153)
Preliminary design of the programming language Forsythe (1988) (151)
On the Relation between Direct and Continuation Semantics (1974) (150)
Automatic computation of data set definitions (1968) (144)
Design of the programming language FORSYTHE (1997) (143)
The craft of programming (1981) (131)
User-defined types and procedural data structures as complementary approaches to data abstraction (1994) (127)
Algebraic Methods in Semantics (1985) (124)
Types, Abstractions, and Parametric Polymorphism, Part 2 (1991) (119)
Separation and information hiding (2009) (76)
The Coherence of Languages with Intersection Types (1991) (74)
From Algol to polymorphic linear lambda-calculus (2000) (72)
Local reasoning about a copying garbage collector (2004) (71)
School of computer science (1988) (69)
Definitional Interpreters Revisited (1998) (67)
Idealized ALGOL and its specification logic (1997) (66)
Culture and the classroom (1976) (54)
On Functors Expressible in the Polymorphic Typed Lambda Calculus (1993) (54)
Syntactic Control of Inference, Part 2 (1989) (52)
Theories of programming languages (1998) (49)
Toward a Grainless Semantics for Shared-Variable Concurrency (2004) (47)
The Meaning of Types From Intrinsic to Extrinsic Semantics (2000) (38)
Reasoning about arrays (1979) (33)
Semantics of the Domain of Flow Diagrams (1977) (32)
Using functor categories to generate intermediate code (1995) (29)
Programming with Transition Diagrams (1978) (28)
What do types mean?: from intrinsic to extrinsic semantics (2003) (27)
An Overview of Separation Logic (2005) (24)
Syntactic control of interference for separation logic (2012) (22)
Reasoning about Shared Mutable Data Structure (2001) (20)
An Introduction to the Cogent Programming System (1965) (20)
Idealized ML and Its Separation Logic (2006) (13)
Separation Logic for a Higher-Order Typed Language (2005) (11)
COGENT--PROGRAMMING MANUAL (1965) (9)
Some thoughts on teaching programming and programming languages (2008) (8)
Reasoning about arrays (1980) (8)
Programming languages for non-numeric processing—2: An introduction to the COGENT programming system (1965) (7)
Conjunctive Types and Algol-like Languages (1987) (7)
Using Category Theory to Design Programming Languages (2009) (6)
Basic Research in Computer Science (1993) (6)
GEDANKEN: A SIMPLE TYPELESS LANGUAGE WHICH PERMITS FUNCTIONAL DATA STRUCTURES AND COROUTINES. (1969) (6)
Strengthening the Teaching Profession Through Supervising Teacher Assessment. (1978) (5)
A generalized resolution principle based upon context-free grammars (1968) (5)
American Textbooks: The First 200 Years. (1976) (5)
An Introduction to the Polymorphic Lambda Calculus (1994) (5)
An Intrinsic Semantics of Intersection Types (2000) (5)
An Introduction to Specification Logic (1983) (4)
Reynolds, John and Malcolm Skilbeck, Culture and the Classroom . London: Open Books, 1976. (1976) (4)
On the Interpretation of Scott's Domain (1973) (4)
Content Analysis in the Classroom: A Specialized Form of Reading. (1983) (3)
In Search Of Mr. (Ms.) Goodteacher (1979) (3)
Local reasoning about a copying garbage collector (2004) (3)
Textbooks: Guardians of Nationalism. (1981) (2)
Review: Dana Scott, The Lattice of Flow Diagrams (1975) (2)
An introduction to logical relations and parametric polymorphism (abstract) (1993) (2)
Theories of Programming Languages: Shared-Variable Concurrency (1998) (2)
Teaching Socialization Through Science Fiction (1983) (2)
Trends and issues affecting curriculum: Programs and practices (1980) (2)
Correctness of a Garbage Collector via Local Reasoning (2003) (1)
The Writing and Publishing Morass (1981) (1)
Discrepancy Analysis: A Quantitative Technique for Curriculum Development (1983) (1)
2011 Fifth IEEE International Conference on Theoretical Aspects of Software Engineering (2011) (1)
Controversy Involving Selection of Science and Humanities Textbooks. (1979) (1)
Readable Formal Proofs (2008) (1)
Theories of Programming Languages: Communicating Sequential Processes (1998) (0)
Trends influence curriculum (1974) (0)
Theories of Programming Languages: Preface (1998) (0)
Theories of Programming Languages: Arrays (1998) (0)
Book Review: The Cambridge Concise History of Astronomy (Hoskin) (1999) (0)
Science Fiction in the 7-12 Curriculum. (1977) (0)
Continuations in a Functional Language (1998) (0)
COGENT 1.2 operations manual (1966) (0)
Theories of Programming Languages: Polymorphism (1998) (0)
Theoretical Computer Science Resources , Concurrency and Local Reasoning ∗ (2005) (0)
Russian Education: Historical Perspectives. (1981) (0)
A Modified Approach to Teacher Education Assessment. (1977) (0)
A Study of Educational Trends: Product, Process, and By-Products (1978) (0)
Theories of Programming Languages: The Simple Type System (1998) (0)
Theories of Programming Languages: Subtypes and Intersection Types (1998) (0)
The Drug Education Gap. (1976) (0)
Chapter 6 IDEALIZED ALGOL and its Specification Logic (1997) (0)
Chapter 3 The Essence of ALGOL (1997) (0)
Proving Program Correctness. Volume V. (1981) (0)
Theories of Programming Languages: Iswim-like Languages (1998) (0)
Theories of Programming Languages: Nondeterminism and Guarded Commands (1998) (0)
Grainless Semantics without Critical Regions (2007) (0)
The design, definition and implementation of programming languages (2000) (0)
Reliable IMPATT diodes for the Comstar centimeter wave beacon (1977) (0)
Theories of Programming Languages: Algol-like Languages (1998) (0)
Theories of Programming Languages: Predicate Logic (1998) (0)
From Intrinsic to Extrinsic Semantics (2000) (0)
A tribute to referees (2004) (0)
Reserved Books for CS 812 - Programing Language Semantics - Spring 2006 (2006) (0)
Making Program Logics Intelligible (2011) (0)
Beyond ML (1997) (0)
Theories of Programming Languages: An Eager Functional Language (1998) (0)
The University-Based Teacher Aides. (1973) (0)
Health Education: Golden Opportunity for the Middle School. (1972) (0)
Appendix: Mathematical Background (1998) (0)
Theories of Programming Languages: A Normal-Order Language (1998) (0)
Theories of Programming Languages: Failure, Input-Output, and Continuations (1998) (0)
Theories of Programming Languages: Bibliography (1998) (0)
A prototype control document analyst for the Space Station program (1989) (0)
Theories of Programming Languages: The Simple Imperative Language (1998) (0)
Theories of Programming Languages: The Lambda Calculus (1998) (0)
Theories of Programming Languages: Program Specifications and Their Proofs (1998) (0)
Theories of Programming Languages: Module Specification (1998) (0)

This paper list is powered by the following services:

Other Resources About John C. Reynolds

en.wikipedia.org

What Schools Are Affiliated With John C. Reynolds?

John C. Reynolds is affiliated with the following schools:

Image Attributions

Image Source for John C. Reynolds