Static Type Checking of Model Transformations by Constraint Satisfaction Programming

CímStatic Type Checking of Model Transformations by Constraint Satisfaction Programming
Közlemény típusaReport
Kiadás éve2009
SzerzőkUjhelyi, Z., Horváth, Á., and Varró, D.
Document NumberTUB-TR-09-EE20
Kiadás dátuma06/2009
IntézményBudapest University of Technology and Economics
TípusTechnical Report
Kulcsszavakmodel transformations, static analysis, type checking, Viatra
PDF: 
application/pdf iconFull text

Nyelvek

  • English
  • Magyar

Belépés

Navigáció