PDF:
Static Type Checking of Model Transformations by Constraint Satisfaction Programming
| Title | Static Type Checking of Model Transformations by Constraint Satisfaction Programming |
| Publication Type | Report |
| Year of Publication | 2009 |
| Authors | Ujhelyi, Z., Horváth, Á., and Varró, D. |
| Document Number | TUB-TR-09-EE20 |
| Date Published | 06/2009 |
| Institution | Budapest University of Technology and Economics |
| Type | Technical Report |
| Keywords | model transformations, static analysis, type checking, Viatra |
