Skip to Main content Skip to Navigation
Theses

Approche algébrique du typage d'un langage à la ML avec objets, sous-typage et multi-méthodes

Alexandre Frey
Abstract : Object-oriented langages enjoy a particular form of polymorphism by providing "methods" whose execution depends on the dynamic type of its arguments. Generally, this "dynamic dispatch" only takes into account a single argument. However, some langages feature a simultaneous dispatch on every arguments ("multi-methods").
This thesis is about the definition and the typing of a langage derived from ML with multimethods. Multi-methods are introduced as a particular form of pattern matching on objects.The presentation
of the type system uses an algebraic approach. The set of types is not predetermined but the properties necessary for the soundness of the system are axiomatised. This approach allows generic proofs independent of the choice of the algebra. It is shown how automatic type verification can be reduced to the resolution of simple first-order problems (constraints). The resolution of the constraint problems can then reuse all the results available in the litterature. The advantage of this algebraic approach is that it can handle a large class of langages at once, where the type algebra, the constraint langage, and the interpretation model of these constraints vary. This approach also provides an interesting way to study typing in a context where the interpretation world is open, i.e., when typing a module should provide a guarantee for all possible use of this module.
Document type :
Theses
Complete list of metadatas

Cited literature [31 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/tel-00007516
Contributor : Admin Pastel <>
Submitted on : Tuesday, November 30, 2004 - 4:35:35 PM
Last modification on : Wednesday, June 1, 2016 - 11:14:41 PM
Long-term archiving on: : Friday, April 2, 2010 - 9:21:13 PM

Identifiers

  • HAL Id : tel-00007516, version 1

Collections

Citation

Alexandre Frey. Approche algébrique du typage d'un langage à la ML avec objets, sous-typage et multi-méthodes. Génie logiciel [cs.SE]. École Nationale Supérieure des Mines de Paris, 2004. Français. ⟨tel-00007516⟩

Share

Metrics

Record views

309

Files downloads

267