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.