F. Goudal
Une représentation abstraite des expressions et continuations en Scheme
SAS, 1991.
@inproceedings{WSA-1991-Goudal, author = "F. Goudal", booktitle = "{Proceedings of the First Workshop on Static Analysis at JTASPEFL in Bordeaux}", pages = "225--233", publisher = "{Atelier Irisa, IRISA, Campus de Beaulieu}", series = "{Series Bigre}", title = "{Une représentation abstraite des expressions et continuations en Scheme}", volume = 74, year = 1991, }