Programming in a wide spectrum language: A collection of examples

DOI10.1016/0167-6423(81)90006-XzbMath0469.68003MaRDI QIDQ1157137

T. Matzner, A. Laut, R. Steinbrüggen, M. Luckmann, R. Gnatz, Manfred Broy, H. Wössner, Friedrich L. Bauer, Walter Dosch, Helmut Partsch, Peter Pepper, Bernd Krieg-Brückner, Martin Wirsing, Klaus Samelson, Bernhard Möller

Publication date: 1981

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

predicate logicrecursive functionsabstract data typestransformation rulesinterpreterBackus' functional programming languagenon-operative specificationsprocedural programsprogram representationstext editor

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)

Related Items (9)

Structured algebraic specifications: A kernel language ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ Equational specification of partial higher-order algebras ⋮ Proof systems for structured specifications with observability operators ⋮ The definition of Extended ML: A gentle introduction ⋮ A set-theoretic semantics for Clear ⋮ A Homage to Martin Wirsing ⋮ A systematic study of models of abstract data types ⋮ On a generalized product for domains

This page was built for publication: Programming in a wide spectrum language: A collection of examples