PDF:
Static Type Checking of Model Transformation Programs
| Title | Static Type Checking of Model Transformation Programs |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | Ujhelyi, Z. |
| Conference Name | ICGT'10 Doctoral Symposium |
| Date Published | 10/2010 |
| Publisher | Springer Berlin / Heidelberg |
| Conference Location | University of Twente, Enschede, The Netherlands |
| Keywords | model transformations, static analysis, type checking, Viatra |
| DOI | 10.1007/978-3-642-15928-2_36 |
