Natural-Semantics-Based Abstract Interpretation (Preliminary Version)

David A. Schmidt. Natural-Semantics-Based Abstract Interpretation (Preliminary Version). In Alan Mycroft, editor, Static Analysis, Second International Symposium, SAS 95, Glasgow, UK, September 25-27, 1995, Proceedings. Volume 983 of Lecture Notes in Computer Science, pages 1-18, Springer, 1995.

@inproceedings{Schmidt95:2,
  title = {Natural-Semantics-Based Abstract Interpretation (Preliminary Version)},
  author = {David A. Schmidt},
  year = {1995},
  tags = {semantics, rule-based},
  researchr = {https://researchr.org/publication/Schmidt95%3A2},
  cites = {0},
  citedby = {0},
  pages = {1-18},
  booktitle = {Static Analysis, Second International Symposium, SAS 95, Glasgow, UK, September 25-27, 1995, Proceedings},
  editor = {Alan Mycroft},
  volume = {983},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60360-3},
}