Program transformation (Computer programming) - Congresses.
Overview
Works: | 5 works in 5 publications in 5 languages |
---|
Titles
Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers /
by:
(Electronic resources)
Subjects