thesis
Semantique denotationnelle de s3l un langage de flux, d'ensembles et de suites et son implantation en caml
Institution:
OrléansDisciplines:
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