Giorgio Levi, W. Volpi. Set Based-Analysis of Logic Programs via Abstract Interpretation. In José Luis Freire-Nistal, Moreno Falaschi, Manuel Vilares Ferro, editors, 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE 98, A Coruña, Spain, July 20-23, 1998. pages 303-310, 1998.
@inproceedings{LeviV98a,
title = {Set Based-Analysis of Logic Programs via Abstract Interpretation},
author = {Giorgio Levi and W. Volpi},
year = {1998},
tags = {rule-based, program analysis, analysis, logic programming, logic},
researchr = {https://researchr.org/publication/LeviV98a},
cites = {0},
citedby = {0},
pages = {303-310},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE 98, A Coruña, Spain, July 20-23, 1998},
editor = {José Luis Freire-Nistal and Moreno Falaschi and Manuel Vilares Ferro},
}