„Programmtransformation“

Suchergebnisse

197 Treffer

• Unterstützung von Entwurfsmustern im Quelltext durch bedeutungsorientierte Dokumentation
  Meffert, Klaus
• On language processors and software maintenance
  Lohmann, Wolfgang 2009 Logos-Verl.
• Automatisches Differenzieren für MATLAB
  Vehreschild, Andre
• Certifying system translations using higher order theorem provers
  Blech, Jan Olaf 2009 Logos-Verl.
• Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
  Stoyan, Herbert 1984 Inst. für Math. Maschinen u. Datenverarbeitung (Informatik)
• Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence
  Sabel, David 2008 Verl. Dr. Hut
• Generative and transformational techniques in software engineering II – international summer school ; revised papers
  Lämmel, Ralf 2008 Springer
• Logic based program synthesis and transformation – 17th international symposium ; revised selected papers
  King, Andrew Malcolm 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
• Programming languages and systems – 4th Asian symposium ; proceedings
  Kobayashi, Naoki 2006 Springer
• Generative and transformational techniques in software engineering – international summer school ; revised papers
  Lämmel, Ralf 2006 Springer
• Logic based program synthesis and transformation – 15th international symposium ; revised selected papers
  Hill, Patricia M. 2006 Springer
• Automatische Transformation von Software-Modellen
  Christoph, Alexander 2005 Books on Demand GmbH
• Werkzeuggestützte Adaption objektorientierter Programme
  Genßler, Thomas 2005 Logos-Verl.
• Eine komponentenbasierte Realisierung der TwoL-Spracharchitektur
  Reilein-Ruß, Robert
• Automatische Transformation von Software - Modellen
  Christoph, Alexander 2005 Books on Demand