The Essence of Reynolds

Stephen  Brookes; Peter W O'Hearn; Uday Reddy

doi:10.1007/s00165-014-0295-x

The Essence of Reynolds

Stephen Brookes, Peter W O'Hearn, Uday Reddy

Computer Science

Research output: Contribution to journal › Article › peer-review

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
Pages (from-to)	435-439
Journal	Formal Aspects of Computing
Volume	26
Issue number	3
DOIs	https://doi.org/10.1007/s00165-014-0295-x
Publication status	Published - 1 May 2014

Access to Document

10.1007/s00165-014-0295-x

Cite this

@article{4942d7493a434542989b3ea816624cdc,

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.",

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

year = "2014",

month = may,

day = "1",

doi = "10.1007/s00165-014-0295-x",

language = "English",

volume = "26",

pages = "435--439",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer",

number = "3",

}

TY - JOUR

T1 - The Essence of Reynolds

AU - Brookes, Stephen

AU - O'Hearn, Peter W

AU - Reddy, Uday

PY - 2014/5/1

Y1 - 2014/5/1

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.

U2 - 10.1007/s00165-014-0295-x

DO - 10.1007/s00165-014-0295-x

M3 - Article

SN - 0934-5043

VL - 26

SP - 435

EP - 439

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 3

ER -

The Essence of Reynolds

Abstract

Access to Document

Fingerprint

Cite this