Automatic Generation of Functional Programs from CASL Specifications.

Agns Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet

Browse the full ICSEA paper archive.