Semantics-based program analysis for logic-based languages using XSB
type: Item
instance of: scholarly article
title: Semantics-based program analysis for logic-based languages using XSB
zbMATH Open document ID: 1060.68568
author: Michael Codish
author: Bart Demoen
author: K. Sagonas
published in: International Journal on Software Tools for Technology Transfer. STTT
publication date: 1998-01-01T00:00:00Z
full work available at URL: https://lirias.kuleuven.be/handle/123456789/133503
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 1862289
zbMATH Keywords: semantics-based program analysis
zbMATH Keywords: logic programming language analysis
zbMATH Keywords: XSB
Wikidata QID: Q58968602
describes a project that uses: XSB
MaRDI profile type: Publication
OpenAlex ID: W2061236588
DBLP publication ID: journals/sttt/CodishDS98
DOI: 10.1007/S100090050016
description: scientific article; zbMATH DE number 1862289