„Programmtransformation“

Suchergebnisse

197 Treffer

• Static Analysis – 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings
  Giacobazzi, Roberto 2004 Springer Berlin Heidelberg
• Logic-Based Program Synthesis and Transformation – 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers
  Bossi, Annalisa 2000 Springer Berlin Heidelberg
• Logic Based Program Synthesis and Transformation – 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
  Hanus, Michael 2004 Springer Berlin Heidelberg
• Logic-Based Program Synthesis and Transformation – 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
  De Schreye, Danny 2010 Springer Berlin Heidelberg
• Logic based program synthesis and transformation – 18th international symposium ; revised selected papers
  Hanus, Michael 2009 Springer
• Logic based program synthesis and transformation – 17th international symposium ; revised selected papers
  King, Andrew Malcolm 2008 Springer
• Generative and transformational techniques in software engineering II – international summer school ; revised papers
  Lämmel, Ralf 2008 Springer
• Programming languages and systems – 5th Asian symposium ; proceedings
  Shao, Zhong 2007 Springer
• Logic based program synthesis and transformation – 16th International Symposium ; revised selected papers
  Puebla, Germán 2007 Springer
• Generative and transformational techniques in software engineering – international summer school ; revised papers
  Lämmel, Ralf 2006 Springer
• Programming languages and systems – 4th Asian symposium ; proceedings
  Kobayashi, Naoki 2006 Springer
• Logic based program synthesis and transformation – 15th international symposium ; revised selected papers
  Hill, Patricia M. 2006 Springer
• Static analysis – 12th international symposium ; proceedings
  Hankin, Chris 2005 Springer
• Logic based program synthesis and transformation – 14th international symposium ; revised selected papers
  Etalle, Sandro 2005 Springer
• Perspectives of system informatics – revised papers
  Broy, Manfred 2003 Springer
• Static analysis – 9th international symposium ; proceedings
  Hermenegildo, Manuel 2002 Springer
• Applied semantics – advanced lectures
  Barthe, Gilles 2002 Springer
• Programming languages and systems – proceedings
  Degano, Pierpaolo 2003 Springer
• Logic based program synthesis and transformation – 11th international workshop ; selected papers
  Pettorossi, Alberto 2002 Springer
• Types in compilation – second international workshop ; proceedings
  Leroy, Xavier 2002 Springer