Valérie Gouranton
Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing
SAS, 1998.
@inproceedings{SAS-1998-Gouranton, author = "Valérie Gouranton", booktitle = "{Proceedings of the Fifth International Static Analysis Symposium}", doi = "10.1007/3-540-49727-7_7", isbn = "3-540-65014-8", pages = "115--133", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing}", volume = 1503, year = 1998, }