Computer Aided Fusion For Algebraic Program Derivation.

W. Dosch, S. Magnussen


We present an extension of the Lübeck Transformation System LTS automating the fusion of a function with a catamorphism as a refinement step in algebraic program development. The system detects catamorphisms in constructor-based higher-order algebraic specifications and generates an axiomatisation of the composition function. As the basis we give a generalized treatment of the fusion theorem in the setting of algebraic specifications. We illustrate the approach presenting compound fusion transformations for non-free data structures.
Original languageEnglish
JournalNordic Journal of Computing
Issue number3
Pages (from-to)279-297
Number of pages1
Publication statusPublished - 2001


Dive into the research topics of 'Computer Aided Fusion For Algebraic Program Derivation.'. Together they form a unique fingerprint.

Cite this