Search: “Programmtransformation”

6 books found

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

19841 ed.

Optimierung objektorientierter Programme

20011 ed.

Static Analysis

SAS <11, 2004, Verona>

20041 ed.

Programming Languages and Systems

20092 ed.

Program development by specification and transformation

Berthold Hoffmann

19931 ed.

Logic-Based Program Synthesis and Transformation

Danny De Schreye

20101 ed.