TY - JOUR
T1 - Computer Aided Fusion For Algebraic Program Derivation.
AU - Dosch, W.
AU - Magnussen, S.
N1 - Nordic Journal of Computing 8:3, 279-297 (2001) [ISSN 1236-6064]
PY - 2001
Y1 - 2001
N2 - 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.
AB - 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.
UR - https://www.researchgate.net/publication/220673137_Computer_Aided_Fusion_for_Algebraic_Program_Derivation
UR - https://www.semanticscholar.org/paper/Computer-Aided-Fusion-for-Algebraic-Program-Dosch-Magnussen/7e9f0c0feff18b2f750ec40f18a64d7d998e3bcd
M3 - Journal articles
SN - 1236-6064
VL - 8
SP - 279
EP - 297
JO - Nordic Journal of Computing
JF - Nordic Journal of Computing
IS - 3
ER -
