On the essence of oberon

David A. Naumann

doi:10.1007/3-540-57840-4_39

On the essence of oberon

David A. Naumann

Department of Computer Science

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

2 Scopus citations

Abstract

Reynolds described the “essence of Algol” as the simple imperative language combined with the typed lambda calculus. We provide a similar description of Wirth’s language Oberon as the simple imperative language combined with procedure types and record extension. Whereas the semantics of Algol has been given in terms of a (domain theoretic) model using an explicit representation of storage, our semantics uses predicate transformers; this is possible thanks to recent advances in the theory of predicate transformers. Predicate transformer semantics connects one of the most successful methods of rigorous program development with one of the most successful pragmatically-designed programming languages.

Original language	English
Title of host publication	Programming Languages and System Architectures - International Conference, Proceedings
Editors	Jurg Gutknecht
Pages	313-327
Number of pages	15
DOIs	https://doi.org/10.1007/3-540-57840-4_39
State	Published - 1994
Event	International Conference on Programming Languages and System Architectures, 1994 - Zurich, Switzerland Duration: 2 Mar 1994 → 4 Mar 1994

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	782 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Conference on Programming Languages and System Architectures, 1994
Country/Territory	Switzerland
City	Zurich
Period	2/03/94 → 4/03/94

Access to Document

10.1007/3-540-57840-4_39

Cite this

@inproceedings{5b4ca4f97d824af8a2c15f1d6566821b,

title = "On the essence of oberon",

abstract = "Reynolds described the “essence of Algol” as the simple imperative language combined with the typed lambda calculus. We provide a similar description of Wirth{\textquoteright}s language Oberon as the simple imperative language combined with procedure types and record extension. Whereas the semantics of Algol has been given in terms of a (domain theoretic) model using an explicit representation of storage, our semantics uses predicate transformers; this is possible thanks to recent advances in the theory of predicate transformers. Predicate transformer semantics connects one of the most successful methods of rigorous program development with one of the most successful pragmatically-designed programming languages.",

author = "Naumann, {David A.}",

note = "Publisher Copyright: {\textcopyright} 1994, Springer Verlag. All rights reserved.; International Conference on Programming Languages and System Architectures, 1994 ; Conference date: 02-03-1994 Through 04-03-1994",

year = "1994",

doi = "10.1007/3-540-57840-4_39",

language = "English",

isbn = "9783540578406",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "313--327",

editor = "Jurg Gutknecht",

booktitle = "Programming Languages and System Architectures - International Conference, Proceedings",

}

Naumann, DA 1994, On the essence of oberon. in J Gutknecht (ed.), Programming Languages and System Architectures - International Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 782 LNCS, pp. 313-327, International Conference on Programming Languages and System Architectures, 1994, Zurich, Switzerland, 2/03/94. https://doi.org/10.1007/3-540-57840-4_39

On the essence of oberon. / Naumann, David A.
Programming Languages and System Architectures - International Conference, Proceedings. ed. / Jurg Gutknecht. 1994. p. 313-327 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 782 LNCS).

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

TY - GEN

T1 - On the essence of oberon

AU - Naumann, David A.

PY - 1994

Y1 - 1994

N2 - Reynolds described the “essence of Algol” as the simple imperative language combined with the typed lambda calculus. We provide a similar description of Wirth’s language Oberon as the simple imperative language combined with procedure types and record extension. Whereas the semantics of Algol has been given in terms of a (domain theoretic) model using an explicit representation of storage, our semantics uses predicate transformers; this is possible thanks to recent advances in the theory of predicate transformers. Predicate transformer semantics connects one of the most successful methods of rigorous program development with one of the most successful pragmatically-designed programming languages.

AB - Reynolds described the “essence of Algol” as the simple imperative language combined with the typed lambda calculus. We provide a similar description of Wirth’s language Oberon as the simple imperative language combined with procedure types and record extension. Whereas the semantics of Algol has been given in terms of a (domain theoretic) model using an explicit representation of storage, our semantics uses predicate transformers; this is possible thanks to recent advances in the theory of predicate transformers. Predicate transformer semantics connects one of the most successful methods of rigorous program development with one of the most successful pragmatically-designed programming languages.

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

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

U2 - 10.1007/3-540-57840-4_39

DO - 10.1007/3-540-57840-4_39

M3 - Conference contribution

AN - SCOPUS:84958826932

SN - 9783540578406

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 313

EP - 327

BT - Programming Languages and System Architectures - International Conference, Proceedings

A2 - Gutknecht, Jurg

T2 - International Conference on Programming Languages and System Architectures, 1994

Y2 - 2 March 1994 through 4 March 1994

ER -

On the essence of oberon

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this