Static type checking of model transformation programs

Authors:
Zoltán Ujhelyi
Affiliations:
Budapest University of Technology and Economics, Department of Measurement and Information Systems, Budapest
Venue:
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Year:
2010

Efficient handling of multiple inheritance hierarchies

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Applying "Design by Contract"

Computer
The model transformation language of the VIATRA2 framework

Science of Computer Programming
Static Analysis of Dynamic Communication Systems by Partner Abstraction

SAS '07 Proceedings of the 14th international Symposium on Static Analysis
Resolution-Like Theorem Proving for High-Level Conditions

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Meta-model Pruning

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Abstract Graph Transformation

Electronic Notes in Theoretical Computer Science (ENTCS)
Unfolding grammars in adhesive categories

CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science

A graph query language for EMF models

ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations

Hi-index	0.00