Contains the keyword type checking

Ujhelyi Z, Horváth Á, Varró D. Static Type Checking of Model Transformation Programs. Electronic Communications of the EASST, International Conference on Graph Transformation 2010 - Doctoral Symposium. 2011;38. Abstract
Ujhelyi Z. Static Type Checking of Model Transformation Programs. In: ICGT'10 Doctoral Symposium. University of Twente, Enschede, The Netherlands: Springer Berlin / Heidelberg; 2010. p. 413-5.
Ujhelyi Z. Modelltranszformációk statikus analízise. In: Tavaszi Szél Konferenciakiadvány. Szeged; 2009. p. 33-9.
Ujhelyi Z, Horváth Á, Varró D. Static Type Checking of Model Transformations by Constraint Satisfaction Programming. Budapest University of Technology and Economics; 2009.
Ujhelyi Z. Static Analysis of Model Transformations. Budapest University of Technology and Economics; 2009.
Tartalom átvétel

Nyelvek

  • English
  • Magyar

Belépés

Navigáció