Ulf Nilsson. Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic Programs. PhD thesis, Linköping University, Department of Computer and Information Science, 1992.
@phdthesis{Nilsson92:0,
title = {Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic Programs},
author = {Ulf Nilsson},
year = {1992},
tags = {logic programming, logic, abstract machine},
researchr = {https://researchr.org/publication/Nilsson92%3A0},
cites = {0},
citedby = {0},
school = {Linköping University, Department of Computer and Information Science},
}