„Programmtransformation“

Suchergebnisse

197 Treffer

• Logic program synthesis and transformation – 7th international workshop ; proceedings
  Fuchs, Norbert E. 1998 Springer
• Logic based program synthesis and transformation – 8th international workshop ; selected papers
  Flener, Pierre 1999 Springer
• Programming languages and systems – proceedings
  Sands, David 2001 Springer
• Logic based program synthesis and transformation – 10th international workshop ; selected papers
  Lau, Kung-Kiu 2001 Springer
• Programs as data objects – second symposium ; proceedings
  Danvy, Olivier 2001 Springer
• Static analysis – 8th international symposium ; proceedings
  Cousot, Patrick 2001 Springer
• Semantics, applications, and implementation of program generation – second international workshop ; proceedings
  Taha, Walid Mohamed 2001 Springer
• Programming languages and systems – proceedings
  Le Métayer, Daniel 2002 Springer
• Transfektionseffizienz von Lipid/DNA-Komplexen – Charakterisierung und Identifizierung zellulärer Transfektionsbarrieren von DC 30®/DNA-Komplexen
  Steinbach, Annette ; Süss, Regine 2012 Universität
• Untersuchungen zur Machbarkeit Modellgetriebener Softwareentwicklung im Umfeld kleinerer agiler Softwareprojekte.
  Engl, Felix 2016 Hochschule Mittweida
• Static Analysis – 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings
  2003 Springer International Publishing
• Musterbasierte Parallelisierung sequenzieller Anwendungen – Konzept und Implementierung eines Verfahrens zur Softwaretransformation
  Molitorisz, Korbinian 2016 Springer Fachmedien Wiesbaden
• Logic-Based Program Synthesis and Transformation – 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
  Alpuente, María 2011 Springer Berlin Heidelberg
• Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
  Stoyan, Herbert 1984 Springer Berlin Heidelberg
• Interacting code motion transformations – their impact and their complexity
  Rüthing, Oliver 2000 Springer
• Optimal interprocedural program optimization – a new framework and its application
  Knoop, Jens 2000 Springer
• Syntax-Preserving Program Slicing for Highly-Configurable C Software Systems
  Gerling, Lea Kristin 2025 Universitätsbibliothek Hildesheim
• Strategies for automated porting of Linux device drivers to Athomux
  Korth, Jens-Christian 2005 Universitätsbibliothek der Universität Stuttgart
• Semiautomatische Entfernung des duplizierten Codes
  Liu, Yidong 2004 Universitätsbibliothek der Universität Stuttgart
• Einsatz einer XML-Anfragesprache für Transformationszwecke
  Opletal, Sascha 2004 Universitätsbibliothek der Universität Stuttgart