Computer aided fusion for algebraic program derivation

Computer aided fusion for algebraic program derivation

Artikkeli

Dosch, Walter ; Magnussen, Sönke

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

Tallennettuna:

Kieli

englanti

Luokitus

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

Aiheet/asiasanat

computer aided programming

program transformation

higher-order algebraic specification

catamorphism

fusion

Saatavuustiedot

Henkilökuntanäyttö