Programming in a wide spectrum language: a collection of examples

https://doi.org/10.1016/0167-6423(81)90006-XGet rights and content
Under an Elsevier user license
open archive

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.

Cited by (0)

This work was partially sponsored by the Sonderferschungsbereich 49. Programmiertechnik, Munich, Fed. Rep. Germany.