„Programmtransformation“

Suchergebnisse

197 Treffer

• Ein graphbasierter Formalismus zur Programmmanipulation
  Stadler, Bernhard 2013 Universität Passau
• Optimal interprocedural program optimization – a new framework and its application
  Knoop, Jens 1998 Springer
• Automatische Transformation großer Softwaresysteme
  Ludwig, Andreas 2002 Shaker
• Static analysis – 12th international symposium ; proceedings
  Hankin, Chris 2005 Springer
• Logic based program synthesis and transformation – 14th international workshop ; revised selected papers
  Etalle, Sandro 2005 Springer
• Static analysis – 11th international symposium ; proceedings
  Giacobazzi, Roberto 2004 Springer
• Program development in computational logic – a decade of research advances in logic based program development
  Bruynooghe, Maurice 2004 Springer
• Logic based program synthesis and transformation – 13th international workshop ; revised selected papers
  Bruynooghe, Maurice 2004 Springer
• Perspectives of system informatics – revised papers
  Broy, Manfred 2003 Springer
• Programming languages and systems – proceedings
  Degano, Pierpaolo 2003 Springer
• The essence of computation – complexity, analysis, transformation ; essays dedicated to Neil D. Jones
  Mogensen, Torben Æ. ; Jones, Neil D. 2002 Springer
• Reasoning about program transformations – imperative programming and flow of data
  Collard, Jean-François 2003 Springer
• Static analysis – 9th international symposium ; proceedings
  Hermenegildo, Manuel 2002 Springer
• Applied semantics – international summer school ; advanced lectures
  Barthe, Gilles 2002 Springer
• Logic based program synthesis and transformation – 11th international workshop ; selected papers
  Pettorossi, Alberto 2002 Springer
• Programming languages and systems – proceedings
  Le Métayer, Daniel 2002 Springer
• Semantik von Programmiersprachen
  Berghammer, Rudolf 2001 Logos
• Optimierung objektorientierter Programme – Übersetzungstechniken, Analysen und Transformationen
  Trapp, Martin 2001 Springer
• Extensible languages for flexible and principled domain abstraction
  Erdweg, Sebastian Thore
• Static analysis – 8th international symposium ; proceedings
  Cousot, Patrick 2001 Springer