Programmtransformation

Logic program synthesis and transformation-- Meta-programming in Logic: 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings

Laurent Fribourg, Franco Turini, (eds.)

Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings

edited by Zhenjiang Hu

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

Herbert Stoyan

Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings

SAS <11, 2004, Verona>

Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch)

Ernst-Rüdiger Olderog, Krzysztof R. Apt

Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science)

John Gallagher

Static analysis: third international workshop, WSA '93, Padova, Italy, September 1993 : proceedings

Patrick Cousot ... [et al.].

Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

edited by Danny Schreye

Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System (Lecture Notes in Computer Science)

Berthold Hoffmann

Optimierung objektorientierter Programme