Spelling suggestions: "subject:"programmtransformation"" "subject:"programmtransformationen""
1 |
Semiautomatische Entfernung des duplizierten CodesLiu, Yidong. January 2004 (has links)
Stuttgart, Univ., Diplomarb., 2004.
|
2 |
Einsatz einer XML-Anfragesprache für TransformationszweckeOpletal, Sascha. January 2004 (has links)
Stuttgart, Univ., Diplomarb., 2004.
|
3 |
Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalenceSabel, David January 2008 (has links)
Zugl.: Frankfurt (Main), Univ., Diss., 2008
|
4 |
Strategies for automated porting of Linux device drivers to AthomuxKorth, Jens-Christian. January 2004 (has links)
Stuttgart, Univ., Diplomarb., 2004.
|
5 |
Advanced slicing of sequential and concurrent programsKrinke, Jens January 2003 (has links)
Passau, Univ., Diss., 2003 / Hergestellt on demand
|
6 |
Automatische Transformation von Software-Modellen /Christoph, Alexander. January 2005 (has links) (PDF)
Universiẗat, Diss.--Karlsruhe, 2004.
|
7 |
Certifying system translations using higher order theorem proversBlech, Jan Olaf January 2008 (has links)
Zugl.: Kaiserslautern, Techn. Univ., Diss., 2008
|
8 |
Pathfinder/MonetDB a relational runtime for XQuery /Rittinger, Jan. January 2005 (has links)
Konstanz, Univ., Diplomarb., 2005.
|
9 |
On language processors and software maintenance /Lohmann, Wolfgang. January 2009 (has links)
Zugl.: Rostock, University, Diss., 2009.
|
10 |
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice operationale Semantik, Programmtransformationen und Anwendungen /Kutzner, Arne. January 1900 (has links) (PDF)
Frankfurt (Main), Univ., Diss., 2000. / Erscheinungsjahr an der Haupttitelstelle: 1999
|
Page generated in 0.1303 seconds