TypeSystem (html chunked) — Kermeta

Skip to content

Kermeta

Kermeta

Personal tools

You are not logged in
Log in

You are here: Home » Documents » KerMeta TypeSystem » TypeSystem (html chunked)


		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.

		Next
		Chapter 1. Kermeta well-formedness rules