The Essence of Reynolds

Stephen Brookes; Peter W. O'Hearn; Uday Reddy

doi:10.1145/2535838.2537851

The Essence of Reynolds

Stephen Brookes, Peter W. O'Hearn, Uday Reddy

The University of Birmingham

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

John Reynolds (1935-2013) was a pioneer of programming languages research. In this paper we pay tribute to the man, his ideas, and his influence.

Original language	English
Title of host publication	Conference Record of the Annual ACM Symposium on Principles of Programming Languages
Publisher	Association for Computing Machinery
Pages	251-255
Number of pages	5
ISBN (Print)	9781450325448
DOIs	https://doi.org/10.1145/2535838.2537851
Publication status	Published - 11 Jan 2014
Event	41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014 - San Diego, CA, United States Duration: 22 Jan 2014 → 24 Jan 2014

Conference

Conference	41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014
Country/Territory	United States
City	San Diego, CA
Period	22/01/14 → 24/01/14

Keywords

data abstraction
polymorphism
separation logic
subtypes

ASJC Scopus subject areas

Software

Access to Document

10.1145/2535838.2537851

Cite this

@inproceedings{b7693c688544450ea544f5718c27212f,

title = "The Essence of Reynolds",

abstract = "John Reynolds (1935-2013) was a pioneer of programming languages research. In this paper we pay tribute to the man, his ideas, and his influence.",

keywords = "data abstraction, polymorphism, separation logic, subtypes",

author = "Stephen Brookes and O'Hearn, {Peter W.} and Uday Reddy",

year = "2014",

month = jan,

day = "11",

doi = "10.1145/2535838.2537851",

language = "English",

isbn = "9781450325448",

pages = "251--255",

booktitle = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",

publisher = "Association for Computing Machinery ",

note = "41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014 ; Conference date: 22-01-2014 Through 24-01-2014",

}

Brookes, S, O'Hearn, PW & Reddy, U 2014, The Essence of Reynolds. in Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Association for Computing Machinery , pp. 251-255, 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, San Diego, CA, United States, 22/01/14. https://doi.org/10.1145/2535838.2537851

TY - GEN

T1 - The Essence of Reynolds

AU - Brookes, Stephen

AU - O'Hearn, Peter W.

AU - Reddy, Uday

PY - 2014/1/11

Y1 - 2014/1/11

N2 - John Reynolds (1935-2013) was a pioneer of programming languages research. In this paper we pay tribute to the man, his ideas, and his influence.

AB - John Reynolds (1935-2013) was a pioneer of programming languages research. In this paper we pay tribute to the man, his ideas, and his influence.

KW - data abstraction

KW - polymorphism

KW - separation logic

KW - subtypes

UR - http://www.scopus.com/inward/record.url?scp=84893445751&partnerID=8YFLogxK

U2 - 10.1145/2535838.2537851

DO - 10.1145/2535838.2537851

M3 - Conference contribution

AN - SCOPUS:84893445751

SN - 9781450325448

SP - 251

EP - 255

BT - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

PB - Association for Computing Machinery

T2 - 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014

Y2 - 22 January 2014 through 24 January 2014

ER -

The Essence of Reynolds

Abstract

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this