Skip to contents

Jürgensen, Claus [Author]; Vogler, Heiko [Author]

Syntactic composition of top-down tree transducers is short cut fusion

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: TU, Fakultät Informatik, 2001

Published in: Technische Universität Dresden: Technische Berichte ; 2001,10
Wismüller, Roland [Author]

Quellsprachorientiertes Debugging von optimierten Programmen - [Als Ms. gedr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Shaker, 1995

Published in: Berichte aus der Informatik
Krieg-Brückner, Bernd [Editor]

Programmentwicklung durch Spezifikation und Transformation : Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bremen: [Univ., Fachbereich Mathematik und Informatik], 19XX-

Published in: Bericht / Universität Bremen, Fachbereich Mathematik und Informatik ; .
Gehrmann, Uwe [Author]

Eine Methode für Entwurf und Spezifikation von Protokollkonvertern

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Hildesheim: Institut für Betriebssysteme & Rechnerverbund, 1994

Published in: Hildesheimer Informatik-Berichte ; 94,8
Krellner, Björn [Other] ; Deutschland Bundesministerium für Bildung und Forschung

Transformation monolithischer Business-Softwaresysteme in verteilte, workflowbasierte Client-Server-Architekturen : Schlussbericht BMBF-Verbundprojekt TransBS; gefördert durch das BMBF, Fördernummern 01 ISF 10 A/B/C

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Chemnitz: Techn. Univ. Chemnitz, Fakultät für Informatik, 2010

Published in: Chemnitzer Informatik-Berichte ; 2010,03
Trapp, Martin [Author]

Optimierung objektorientierter Programme : Übersetzungstechniken, Analysen und Transformationen

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2001

Published in: Xpert.press
Eisenbiegler, Jörn [Author]

Optimierung von SIMD-Programmen auf verteilten Systemen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Logos-Verl., 1999
Knoop, Jens [Author]

Optimal interprocedural program optimization : a new framework and its application

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1428
Voigtländer, Janis [Author]

Tree transducer composition as program transformation

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Tönning; Lübeck; Marburg: Der Andere Verl., 2005
Flener, Pierre [Editor] ; LOPSTR 8 1998 Manchester

Logic-based program synthesis and transformation : 8th international workshop, LOPSTR '98, Manchester, UK, June 15 - 19, 1998 ; selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1999

Published in: Lecture notes in computer science ; 1559
Vollmer, Jürgen [Author]

Analyse und Transformation kontrollflußparalleler Programme

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1996
Bertran, Miquel [Editor] ; International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software 4 1997 Palma de Mallorca

Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1997

Published in: Lecture notes in computer science ; 1231
Stoyan, Herbert [Author]

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1984

Published in: Informatik-Fachberichte ; 91
Bauer, Friedrich L. [Other] ; Technische Universität München CIP Language Group

The Munich project CIP

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 19XX-

Published in: Lecture notes in computer science ; .
De Schreye, Danny [Other]; DeSchreye, Danny [Editor] ; LOPSTR 19 2009 Coimbra

Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 ; revised selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6037
Hill, Patricia M. [Editor] ; LOPSTR 15 2005 London

Logic based program synthesis and transformation : 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 ; revised selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 3901
Puebla, Germàn [Editor] ; LOPSTR 16 2006 Venedig

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 ; revised selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4407
Etalle, Sandro [Editor] ; LOPSTR 14 2004 Verona

Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 - 28, 2004; revised selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3573
Pettorossi, Alberto [Editor] ; LOPSTR 11 2001 Paphos

Logic based program synthesis and transformation : 11th international workshop ; selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2372
Leuschel, Michael [Editor] ; LOPSTR 12 2002 Madrid

Logic based program synthesis and transformation : 12th international workshop, Madrid, Spain, September 17 - 20, 2002 ; revised selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2664

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication