Programmtransformation

6 books
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare ProgrammtransformationHerbert Stoyan
⏱ 6h 5m

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

Herbert Stoyan

1984365 pp.
Optimierung objektorientierter ProgrammeMartin Trapp

Optimierung objektorientierter Programme

Martin Trapp

2001No page data
Static AnalysisSAS <11, 2004, Verona>

Static Analysis

SAS <11, 2004, Verona>

2004No page data
Program development by specification and transformationBerthold Hoffmann
⏱ 10h 23m

Program development by specification and transformation

Berthold Hoffmann

1993623 pp.
Logic-Based Program Synthesis and TransformationDanny De Schreye
⏱ 3h 35m

Logic-Based Program Synthesis and Transformation

Danny De Schreye

2010215 pp.
Programming Languages and SystemsZhenjiang Hu
⏱ 6h 16m

Programming Languages and Systems

Zhenjiang Hu

2009376 pp.