Computer aided fusion for algebraic program derivation

Computer aided fusion for algebraic program derivation

Article

Dosch, Walter ; Magnussen, Sönke

Published in: Nordic journal of computing 8 (2001) : 3, s. 279-297

Saved in:

Language

English

Classification

acmccs F.3.1
acmccs F.3.3
acmccs I.2.2

Subjects/keywords

computer aided programming

program transformation

higher-order algebraic specification

catamorphism

fusion