Programming in a wide spectrum language: a collection of examples

F. L. Bauer; M. Broy; W. Dosch; R. Gnatz; B. Krieg-Brückner; A. Laut; M. Luckmann; T. Matzner; B. Möller; H. Partsch; P. Pepper; K. Samelson; R. Steinbrüggen; M. Wirsing; H. Wössner

doi:10.1016/0167-6423(81)90006-X

Programming in a wide spectrum language: a collection of examples

F. L. Bauer
, M. Broy
, W. Dosch
, R. Gnatz
, B. Krieg-Brückner
, A. Laut
, M. Luckmann
, T. Matzner
, B. Möller
, H. Partsch
, P. Pepper
, K. Samelson
, R. Steinbrüggen
, M. Wirsing
, H. Wössner

TUM Emeriti of Excellence

Technical University of Munich

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

20 Scopus citations

Abstract

The paper exemplifies programming in a wide spectrum language by presenting styles which range from non-operative specifications-using abstract types and tools from predicate logic as well as set theory-over recursive functions, to procedural program with variables. Besides a number of basic types, we develop an interpreter for parts of the language itself, an algorithm for applying transformation rules to program representations, a text editor, and a simulation of Backus' functional programming language.

Original language	English
Pages (from-to)	73-114
Number of pages	42
Journal	Science of Computer Programming
Volume	1
Issue number	1-2
DOIs	https://doi.org/10.1016/0167-6423(81)90006-X
State	Published - Oct 1981

Access to Document

10.1016/0167-6423(81)90006-X

Cite this

Bauer, F. L., Broy, M., Dosch, W., Gnatz, R., Krieg-Brückner, B., Laut, A., Luckmann, M., Matzner, T., Möller, B., Partsch, H., Pepper, P., Samelson, K., Steinbrüggen, R., Wirsing, M., & Wössner, H. (1981). Programming in a wide spectrum language: a collection of examples. Science of Computer Programming, 1(1-2), 73-114. https://doi.org/10.1016/0167-6423(81)90006-X

@article{4dca39c99f2e4ea49d0b3e84ae14a03b,

title = "Programming in a wide spectrum language: a collection of examples",

abstract = "The paper exemplifies programming in a wide spectrum language by presenting styles which range from non-operative specifications-using abstract types and tools from predicate logic as well as set theory-over recursive functions, to procedural program with variables. Besides a number of basic types, we develop an interpreter for parts of the language itself, an algorithm for applying transformation rules to program representations, a text editor, and a simulation of Backus' functional programming language.",

author = "Bauer, \{F. L.\} and M. Broy and W. Dosch and R. Gnatz and B. Krieg-Br{\"u}ckner and A. Laut and M. Luckmann and T. Matzner and B. M{\"o}ller and H. Partsch and P. Pepper and K. Samelson and R. Steinbr{\"u}ggen and M. Wirsing and H. W{\"o}ssner",

year = "1981",

month = oct,

doi = "10.1016/0167-6423(81)90006-X",

language = "English",

volume = "1",

pages = "73--114",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "1-2",

}

TY - JOUR

T1 - Programming in a wide spectrum language

T2 - a collection of examples

AU - Bauer, F. L.

AU - Broy, M.

AU - Dosch, W.

AU - Gnatz, R.

AU - Krieg-Brückner, B.

AU - Laut, A.

AU - Luckmann, M.

AU - Matzner, T.

AU - Möller, B.

AU - Partsch, H.

AU - Pepper, P.

AU - Samelson, K.

AU - Steinbrüggen, R.

AU - Wirsing, M.

AU - Wössner, H.

PY - 1981/10

Y1 - 1981/10

N2 - The paper exemplifies programming in a wide spectrum language by presenting styles which range from non-operative specifications-using abstract types and tools from predicate logic as well as set theory-over recursive functions, to procedural program with variables. Besides a number of basic types, we develop an interpreter for parts of the language itself, an algorithm for applying transformation rules to program representations, a text editor, and a simulation of Backus' functional programming language.

AB - The paper exemplifies programming in a wide spectrum language by presenting styles which range from non-operative specifications-using abstract types and tools from predicate logic as well as set theory-over recursive functions, to procedural program with variables. Besides a number of basic types, we develop an interpreter for parts of the language itself, an algorithm for applying transformation rules to program representations, a text editor, and a simulation of Backus' functional programming language.

UR - https://www.scopus.com/pages/publications/35248867045

U2 - 10.1016/0167-6423(81)90006-X

DO - 10.1016/0167-6423(81)90006-X

M3 - Article

AN - SCOPUS:35248867045

SN - 0167-6423

VL - 1

SP - 73

EP - 114

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 1-2

ER -

Programming in a wide spectrum language: a collection of examples

Abstract

Access to Document

Other files and links

Fingerprint

Cite this