Nordic Journal of Computing Bibliography

Walter Dosch and Sönke Magnussen. Computer Aided Fusion for Algebraic Program Derivation. Nordic Journal of Computing, 8(3):279-297, Fall 2001.

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.

Categories and Subject Descriptors: F.3.1 [Logics and Meanings of Programs]: Specifying and Verifying and Reasoning about Programs; F.3.3 [Logics and Meanings of Programs]: Studies of Program Constructs; I.2.2 [Artificial Intelligence]: Automatic Programming

Additional Key Words and Phrases: computer aided programming, program transformation, higher-order algebraic specification, catamorphism, fusion

Selected references


  • Nordic Journal of Computing homepage
  • Bibliography top level
  • Nordic Journal of Computing Author Index
  • Search the HBP database