A Lattice for Abstract Interpretation of Dynamic (LISP-Like) Structures

Jan Stransky. A Lattice for Abstract Interpretation of Dynamic (LISP-Like) Structures. Inf. Comput., 101(1):70-102, November 1992.

@article{Stransky92,
  title = {A Lattice for Abstract Interpretation of Dynamic (LISP-Like) Structures},
  author = {Jan Stransky},
  year = {1992},
  month = {November},
  researchr = {https://researchr.org/publication/Stransky92},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {101},
  number = {1},
  pages = {70-102},
}