Abstract Interpretation from Improving WAM Code

Dante Baldan, Gilberto Filé. Abstract Interpretation from Improving WAM Code. In Pascal Van Hentenryck, editor, Static Analysis, 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings. Volume 1302 of Lecture Notes in Computer Science, pages 364, Springer, 1997.

@inproceedings{BaldanF97,
  title = {Abstract Interpretation from Improving WAM Code},
  author = {Dante Baldan and Gilberto Filé},
  year = {1997},
  researchr = {https://researchr.org/publication/BaldanF97},
  cites = {0},
  citedby = {0},
  pages = {364},
  booktitle = {Static Analysis, 4th International Symposium, SAS  97, Paris, France, September 8-10, 1997, Proceedings},
  editor = {Pascal Van Hentenryck},
  volume = {1302},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63468-1},
}