Traceability and evidence of correctness of EDSL abstractions.

Martin Sulzmann, Jrgen Nicklisch-Franken, Axel Zechner

Browse the full PEPM paper archive.