„Programmtransformation“

Suchergebnisse

197 Treffer

• Analyse und Transformation kontrollflußparalleler Programme
  Vollmer, Jürgen
• Unterstützung von Entwurfsmustern im Quelltext durch bedeutungsorientierte Dokumentation
  Meffert, Klaus
• On language processors and software maintenance
  Lohmann, Wolfgang
• Automatisches Differenzieren für MATLAB
  Vehreschild, Andre
• Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice – operationale Semantik, Programmtransformationen und Anwendungen
  Kutzner, Arne
• Categorical semantics and composition of tree transducers
  Jürgensen, Claus
• SDL-Datenkonzepte - Analyse und Verbesserungen
  Schröder, Ralf
• Flexible computation of the well-founded semantics of normal logic programs
  Zukowski, Ulrich
• Semantics-directed generation of compilers and abstract machines
  Diehl, Stephan
• Advanced slicing of sequential and concurrent programs
  Krinke, Jens
• Implementation funktionaler Programmiersprachen durch Quelltexttransformation
  Maćoš, Dragan
• Programming Languages and Systems – 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
  Hu, Zhenjiang 2009 Springer International Publishing
• Logic Based Program Synthesis and Transformation – 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers
  Leuschel, Michael 2003 Springer International Publishing
• Transformation-Based Reactive Systems Development – 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings
  Bertran, Miquel 1997 Springer Berlin Heidelberg
• Programming Languages and Systems – Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings
  Chin, Wei-Ngan 2004 Springer Berlin Heidelberg
• Logic-Based Program Synthesis and Transformation – 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
  Albert, Elvira 2013 Springer Berlin Heidelberg
• Generative and Transformational Techniques in Software Engineering IV – International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
  Lämmel, Ralf ; Saraiva, João ; Visser, Joost 2013 Springer Berlin Heidelberg
• Logic-Based Program Synthesis and Transformation – 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
  Vidal, Germán 2012 Springer Berlin Heidelberg
• Programming Languages and Systems – 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  Yang, Hongseok 2011 Springer Berlin Heidelberg
• Generative and Transformational Techniques in Software Engineering III – International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers
  Fernandes, João M. ; Lämmel, Ralf ; Visser, Joost ; Saraiva, João 2011 Springer Berlin Heidelberg