„Programmtransformation“

Suchergebnisse

197 Treffer

• 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
• Programming languages and systems – proceedings
  Sands, David 2001 Springer
• Volume driven selection of loop and data transformations for cache coherent parallel processors
  Slowik, Adrian
• Logic-based program synthesis and transformation – 22nd international symposium ; revised selected papers
  Albert, Elvira 2013 Springer
• Scheduling and automatic parallelization
  Darte, Alain ; Robert, Yves ; Vivien, Frédéric 2000 Birkhäuser
• Reasoning About Program Transformations – Imperative Programming and Flow of Data
  Collard, Jean-François 2004 Springer New York
• Generative and transformational techniques in software engineering IV – international summer school ; revised papers
  Lämmel, Ralf ; Saraiva, João ; Visser, Joost 2013 Springer
• Automatic differentiation of the CapeML high-level language for process engineering
  Petera, Monika Anna
• Types in compilation – second international workshop ; proceedings
  Leroy, Xavier 1998 Springer
• Ein Softwarekonzept zur hierarchischen Parallelisierung von stochastischen und deterministischen Inversionsproblemen auf modernen ccNUMA-Plattformen unter Nutzung automatischer Programmtransformation
  Wolf, Andreas
• Musterbasierte Parallelisierung sequenzieller Anwendungen – Konzept und Implementierung eines Verfahrens zur Softwaretransformation
  Molitorisz, Korbinian 2016 Springer Vieweg
• Logic-based program synthesis and transformation – 21st international symposium ; revised selected papers
  Vidal, Germán 2012 Springer
• Programming languages and systems – 9th Asian symposium ; proceedings
  Yang, Hongseok 2011 Springer
• Scheduling and Automatic Parallelization
  2000 Birkhäuser Boston
• Logic-based program synthesis and transformation – 20th international symposium ; revised selected papers
  Alpuente, María 2011 Springer
• Verschleiernde Transformationen von Programmen – Analyse und Systematisierung von Techniken zur Verschleierung von Programmmerkmalen in Malware
  Rex, Michael 2011 VDM Verlag Dr. Müller
• Program Development in Computational Logic – A Decade of Research Advances in Logic-Based Program Development
  Bruynooghe, Maurice 2004 Springer Berlin Heidelberg
• Logic based program synthesis and transformation – 19th international symposium ; revised selected papers
  De Schreye, Danny 2010 Springer
• Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen
  Raschke, Alexander