From descriptive specifications to operational ones: a powerful transformation rule, its applications and variants
Bericht
Authors
Achatz, Klaus
Partsch, Helmut
Faculties
Fakultät für Ingenieurwissenschaften und InformatikUlm serial
Ulmer Informatik-Berichte
Abstract
This paper introduces, discusses and proves a transformation rule to convert specification of set-valued functions defined by set comprehension into functional implementations. Variants of the rule for specifications involving existential quantification and arbitrary choice are presented and illustrated by representative examples.
Date created
1996
Subject Headings
Mengenwertige Funktion [GND]Set functions [LCSH]
Dewey Decimal Group
DDC 004 / Data processing & computer scienceMetadata
Show full item recordCitation example
Achatz, Klaus; Partsch, Helmut (2012): From descriptive specifications to operational ones: a powerful transformation rule, its applications and variants. Open Access Repositorium der Universität Ulm. http://dx.doi.org/10.18725/OPARU-2449