A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science

David E. Rydeheard; Donald T. Sannella

doi:10.1007/s001650200006

A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science

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

Abstract

These issues of Formal Aspects of Computing are dedicated to Professor Rod Burstall, and, as a collection of papers, memoirs and incidental pieces, form a Festschrift for Rod. The contributions are made by some of the many who know Rod and have been in influenced by him. The research papers included here represent some of the areas in which Rod has been active, and the editors thank their colleagues for agreeing to contribute to this Festschrift.

In this Preface, we attempt to summarise Rod Burstall's scientific achievements. In addition, we describe the personal style and enthusiasm that Rod has brought to the subject.

Original language	English
Pages (from-to)	187-193
Number of pages	7
Journal	Formal Aspects of Computing
Volume	13
DOIs	https://doi.org/10.1007/s001650200006
Publication status	Published - 2002

Access to Document

10.1007/s001650200006

Cite this

@article{66f9516b6a054b7f807b13c7dbaf4542,

title = "A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science",

abstract = "These issues of Formal Aspects of Computing are dedicated to Professor Rod Burstall, and, as a collection of papers, memoirs and incidental pieces, form a Festschrift for Rod. The contributions are made by some of the many who know Rod and have been in influenced by him. The research papers included here represent some of the areas in which Rod has been active, and the editors thank their colleagues for agreeing to contribute to this Festschrift.In this Preface, we attempt to summarise Rod Burstall's scientific achievements. In addition, we describe the personal style and enthusiasm that Rod has brought to the subject.",

author = "Rydeheard, {David E.} and Sannella, {Donald T.}",

year = "2002",

doi = "10.1007/s001650200006",

language = "English",

volume = "13",

pages = "187--193",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer",

}

TY - JOUR

T1 - A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science

AU - Rydeheard, David E.

AU - Sannella, Donald T.

PY - 2002

Y1 - 2002

N2 - These issues of Formal Aspects of Computing are dedicated to Professor Rod Burstall, and, as a collection of papers, memoirs and incidental pieces, form a Festschrift for Rod. The contributions are made by some of the many who know Rod and have been in influenced by him. The research papers included here represent some of the areas in which Rod has been active, and the editors thank their colleagues for agreeing to contribute to this Festschrift.In this Preface, we attempt to summarise Rod Burstall's scientific achievements. In addition, we describe the personal style and enthusiasm that Rod has brought to the subject.

AB - These issues of Formal Aspects of Computing are dedicated to Professor Rod Burstall, and, as a collection of papers, memoirs and incidental pieces, form a Festschrift for Rod. The contributions are made by some of the many who know Rod and have been in influenced by him. The research papers included here represent some of the areas in which Rod has been active, and the editors thank their colleagues for agreeing to contribute to this Festschrift.In this Preface, we attempt to summarise Rod Burstall's scientific achievements. In addition, we describe the personal style and enthusiasm that Rod has brought to the subject.

U2 - 10.1007/s001650200006

DO - 10.1007/s001650200006

M3 - Article

SN - 0934-5043

VL - 13

SP - 187

EP - 193

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

ER -

A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science

Abstract

Access to Document

Fingerprint

Cite this