„program transformations“

Suchergebnisse

254 Treffer

• Embedding Attribute Grammars using Functional Zippers
  Martins, Pedro 2015 LAP LAMBERT Academic Publishing
• SOFSEM 2015: Theory and Practice of Computer Science – 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings
  2015 Springer Berlin Heidelberg
• The comparative analysis of political programs – large N analyses with data from international organizations
  Jakobi, Anja P. 2007 Univ., Sonderforschungsbereich 597
• A logic foundation for program transformations
  Kniesel, Günter 2006 Sekretariat für Forschungsberichte, Inst. für Informatik III
• Efficient and scalable omniscient debugging for model transformations
  Corley, Jonathan ; Eddy, Brian P. ; Syriani, Eugene ; Gray, Jeff
• Using internal domain-specific languages to inherit tool support and modularity for model transformations
  Hinkel, Georg ; Goldschmidt, Thomas ; Burger, Erik ; Reussner, Ralf
• Multi-objective exploration of architectural designs by composition of model transformations
  Rahmoun, Smail ; Mehiaoui-Hamitou, Asma ; Borde, Etienne ; Pautet, Laurent ; Soubiran, Elie
• Efficient representation of higher-dimensional arrays by dimension transformations
  Azharul Hasan, K. M. ; Shaikh, Md Abu Hanif
• Runtime Vectorization Transformations of Binary Code
  Hallou, Nabil ; Rohou, Erven ; Clauss, Philippe
• Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference
  Swoboda, Nik ; Allwein, Gerard
• A relational approach to defining and implementing transformations between metamodels
  Akehurst, David ; Kent, Stuart ; Patrascoiu, Octavian
• Scope in model transformations
  Jukšs, Māris ; Verbrugge, Clark ; Elaasar, Maged ; Vangheluwe, Hans
• Model transformations and tool integration
  Tratt, Laurence
• Formalised EMFTVM bytecode language for sound verification of model transformations
  Cheng, Zheng ; Monahan, Rosemary ; Power, James F.