ISSN:
1573-0557
Keywords:
Functional Programming
;
Equational Specifications
;
Program Derivation
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract Arelative specification is a collection of laws relating the behaviour of a required new program to that of one or more existing programs. A two stage method for transforming such relative specifications into effective functional programs is described and illustrated. Theinversion stage re-arranges the specifying laws to obtain a collection ofpartial definitions for each unknown function, typically involving non-deterministic operators. The subsequentfusion stage combines each set of partial definitions into a single complete definition, thereby eliminating non-deterministic operators.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01806124
Permalink