Semantics-Based Program Analysis for Logic-Based Languages Using XSB

Codish, M; Demoen, B; Sagonas, K

dc.contributor.author	Codish, M	en
dc.contributor.author	Demoen, B	en
dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T01:46:55Z
dc.date.available	2014-03-01T01:46:55Z
dc.date.issued	1998	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/25094
dc.subject	Abstract Interpretation	en
dc.subject	Language Use	en
dc.subject	Logic Programs	en
dc.subject	Program Analysis	en
dc.title	Semantics-Based Program Analysis for Logic-Based Languages Using XSB	en
heal.type	journalArticle	en
heal.identifier.primary	10.1007/s100090050016	en
heal.identifier.secondary	http://dx.doi.org/10.1007/s100090050016	en
heal.publicationDate	1998	en
heal.abstract	This article describes a simple and ecient way of using a logic programming language with built-in tabulation for general purpose semantics-based program analysis. The simplicity of the method is based on a clear separation of abstraction and control: conceptually, a concrete program is executed over an abstract domain and the tabulation mechanism avoids recomputation, ensures termination and collects the results	en
heal.journalName	International Journal on Software Tools for Technology Transfer	en
dc.identifier.doi	10.1007/s100090050016	en