PDF:
Static Type Checking of Model Transformation Programs
| Cím | Static Type Checking of Model Transformation Programs |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2010 |
| Szerzők | Ujhelyi, Z. |
| Konferencia neve | ICGT'10 Doctoral Symposium |
| Kiadás dátuma | 10/2010 |
| Kiadó | Springer Berlin / Heidelberg |
| Konferencia helyszíne | University of Twente, Enschede, The Netherlands |
| Kulcsszavak | model transformations, static analysis, type checking, Viatra |
| DOI | 10.1007/978-3-642-15928-2_36 |
