Type checking and inference in case dl
Type doc. :
Thèses / mémoires
Langue :
Anglais
Auteur(s) :
Année de soutenance:
1988
Afficher le Résumé
This paper describes the desingn and impiementation of a type_ checker for casedl .casedl ,case design longuage is a foemi ianguage for expressing designs rathrer than a proqramming iang uage for implementing systems .the method assaumes that its input conforms to the context free g =rammar of casedl .it processes the abstract syntax tree defined dy this grammar .first the various models and functions are cheched one by one: the parameters , the qualifications , the model constructors and the function boy are checked . whenever an incompatiliity is found ,a message describing the error is gennerated. beside looking for incompatibilites , the type of function are dedueed.
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|
| 004 ABA TH C 1 | BIB-Centrale / Thèses | interne | disponible |
Abad, A. et al. (1988). Type checking and inference in case dl (Magister) . Etat Unis.