thesis

Semantique denotationnelle de s3l un langage de flux, d'ensembles et de suites et son implantation en caml

Defense date:

Jan. 1, 1988

Edit

Institution:

Orléans

Disciplines:

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

L'originalite du langage presente est due a une nouvelle notion intermediaire: le flux (ou n-uplet d'elements) qui rend compte de la notion de "pluriel" par opposition a l'ensemble ou les objets sont "enserres" dans une structure fixe. Une definition formelle du langage a ete ecrite a l'aide de l'approche semantique denotationnelle. Enfin, a partir des equations semantiques obtenues une implantation a ete effectuee avec le langage ml disponible dans le systeme caml