Next
KerMeta Type System and well-formedness rules
Franck Fleurey
Build date: 10-October-2005
Table of Contents
1. Kermeta well-formedness rules
1.1. Opposite properties
1.2. Redefinition
1.3. Inheritance
2. Overview of the type system
3. KerMeta sub-typing rules
3.1. Class sub-typing
3.2. FunctionType sub-typing
4. Type of KerMeta expressions
4.1. Literals
4.2. Control Structures
4.3. Variables
4.4. Call Expressions
4.5. Assignment
4.6. Lambda Expression
5. Conclusion
List of Figures
2.1.
3.1.
4.1.
4.2.
4.3.
4.4.
4.5.
4.6.