Pierre Crégut
Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels
SAS, 1991.
@inproceedings{WSA-1991-Cregut,
author = "Pierre Crégut",
booktitle = "{Proceedings of the First Workshop on Static Analysis at JTASPEFL in Bordeaux}",
pages = "37--43",
publisher = "{Atelier Irisa, IRISA, Campus de Beaulieu}",
series = "{Series Bigre}",
title = "{Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels}",
volume = 74,
year = 1991,
}
Tags: