Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification.

Johan Ringstrm, Peter Fritzson, Mikael Pettersson

Browse the full CC paper archive.