HEAL DSpace

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

Αποθετήριο DSpace/Manakin

Εμφάνιση απλής εγγραφής

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


Αρχεία σε αυτό το τεκμήριο

Αρχεία Μέγεθος Μορφότυπο Προβολή

Δεν υπάρχουν αρχεία που σχετίζονται με αυτό το τεκμήριο.

Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)

Εμφάνιση απλής εγγραφής