On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems

Janssens, G; Sagonas, K

dc.contributor.author	Janssens, G	en
dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T02:48:38Z
dc.date.available	2014-03-01T02:48:38Z
dc.date.issued	1998	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/33977
dc.relation.uri	ftp://ftp.inria.fr/INRIA/Projects/Atoll/TAPD98/sagonas.ps.gz	en
dc.relation.uri	http://www.informatik.uni-trier.de/~ley/db/conf/tapd/tapd98.html#JanssensS98	en
dc.subject	Abstract Interpretation	en
dc.title	On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems	en
heal.type	conferenceItem	en
heal.publicationDate	1998	en
heal.journalName	Tabulation in Parsing and Deduction	en