1-6 of 6 Books

Programming Languages and Systems
By Zhenjiang Hu

Optimierung objektorientierter Programme
By Martin Trapp

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
By Herbert Stoyan

Program development by specification and transformation
By Berthold Hoffmann

Logic-Based Program Synthesis and Transformation
By Danny De Schreye