Filters
Advanced Search Browse by Genre

Found 6 results for "Programmtransformation"

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

by Herbert Stoyan

1984 1 ed.
Compiling (Electronic com... Programmtransformation Codegenerierung
Optimierung objektorientierter Programme
Optimierung objektorientierter Programme

by Martin Trapp

2001 1 ed.
Objektorientierte Program... Übersetzerbau Programmtransformation
Static Analysis
Static Analysis

by SAS <11, 2004, Verona>

2004 1 ed.
Datenfluss Programmtest Programmverifikation
Program development by specification and transformation
Program development by specification and transformation

by Berthold Hoffmann

1993 1 ed.
Development Softwarespezifikation Spécification
Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation

by Danny De Schreye

2010 1 ed.
Logic design Software engineering Computer science
Programming Languages and Systems
Programming Languages and Systems

by Zhenjiang Hu

2009 2 ed.
Logic design Software engineering Data protection