@proceedings {Comini02,
	title = {VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications},
	journal = {Proceedings of 11th International Workshop on Functional and (constraint) Logic Programming},
	number = {UDMI/18/2002/RR},
	year = {2002},
	pages = {233{\textendash}236},
	publisher = {Dipartimento di Matematica e Informatica, Universit{\`a} di Udine},
	address = {Udine, Italy},
	abstract = {In this system demonstration we present a tool for the verification of Logic Programs w.r.t. type information specifications. The tool is based on sufficient verification conditions obtained by abstract interpretation.

Following the theoretical foundation in [CominiGL01,CominiGLV99entcs,CominiGLV99], the tool is obtained by transforming a static analyzer on a type domain for Logic Programs designed by Codish and Lagoon [CodishL98].},
	keywords = {Abstract Interpretation, Abstract Verification, Inductive Verification, Logic Programming},
	author = {Marco Comini},
	editor = {Moreno Falaschi}
}
