PDF: 
    
Generic Static Analysis of Transformation Programs
| Title | Generic Static Analysis of Transformation Programs | 
| Publication Type | Report | 
| Year of Publication | 2009 | 
| Authors | Ujhelyi, Z., Horváth, Á., and Varró, D. | 
| Document Number | TUB-TR-09-EE19 | 
| Date Published | 06/2009 | 
| Institution | Budapest University of Technology and Economics | 
| Type | Technical Report | 
| Keywords | model transformations, static analysis, Viatra | 





