Pierre Jouvelot
Semantic Parallelization: A Practical Exercise in Abstract Interpretation
POPL, 1987.
@inproceedings{POPL-1987-Jouvelot, author = "Pierre Jouvelot", booktitle = "{Conference Record of the 14th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/41625.41629", isbn = "0-89791-215-2", pages = "39--48", publisher = "{ACM Press}", title = "{Semantic Parallelization: A Practical Exercise in Abstract Interpretation}", year = 1987, }