Bottom-up abstract interpretation of logic programs
type: Item
instance of: scholarly article
title: Bottom-up abstract interpretation of logic programs
zbMATH Open document ID: 0795.68038
DOI: 10.1016/0304-3975(94)90055-8
author: Michael Codish
author: Dennis Dams
author: Eyal Yardeni
published in: Theoretical Computer Science
publication date: 1994-04-05T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 540873
zbMATH Keywords: program transformation
zbMATH Keywords: bottom-up abstract interpretation
zbMATH Keywords: logic programs
zbMATH Keywords: abstract substitution
zbMATH Keywords: abstract semantic function
zbMATH Keywords: magic sets
zbMATH Keywords: concurrent logic programs
zbMATH Keywords: collecting semantics
MaRDI profile type: Publication
full work available at URL: 0304-3975(94)90055-8
OpenAlex ID: W1983385612
cites work: A practical framework for theabstract interpretation of logic programs
cites work: Finite failures and partial computations in concurrent logic languages
cites work: Declarative modeling of the operational behavior of logic languages
cites work: Q3339245
cites work: Q3758891
cites work: Compile-time derivation of variable dependency using abstract interpretation
cites work: Strictness analysis and denotational abstract interpretation
cites work: Q4287477
cites work: Magic templates: a spellbinding approach to logic programs
cites work: The Alexander Method - a technique for the processing of recursive axioms in deductive databases
cites work: Q3746920
cites work: A type system for logic programs
Recommended article: Abstract interpretation and application to logic programs
Recommended article: Efficient bottom-up execution of logic programs using abstract interpretation
Recommended article: Q3201751
Recommended article: A practical framework for theabstract interpretation of logic programs
Recommended article: Q4506395
Recommended article: Q3826518
Recommended article: A terminological interpretation of (abductive) logic programming
Recommended article: Q4499243
Recommended article: Abstract interpretation based verification of logic programs
description: scientific article; zbMATH DE number 540873