PDF:
Static Type Checking of Model Transformations by Constraint Satisfaction Programming
| Cím | Static Type Checking of Model Transformations by Constraint Satisfaction Programming |
| Közlemény típusa | Report |
| Kiadás éve | 2009 |
| Szerzők | Ujhelyi, Z., Horváth, Á., and Varró, D. |
| Document Number | TUB-TR-09-EE20 |
| Kiadás dátuma | 06/2009 |
| Intézmény | Budapest University of Technology and Economics |
| Típus | Technical Report |
| Kulcsszavak | model transformations, static analysis, type checking, Viatra |
