Programming in a wide spectrum language: a collection of examples |
| |
| Authors: | F L Bauer M Broy W Dosch R Gnatz B Krieg-Brückner A Laut M Luckmann T Matzner B Mller H Partsch P Pepper K Samelson R Steinbrüggen M Wirsing H Wssner |
| |
| Affiliation: | 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 |
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
