Logical optimality of groundness analysis
type: Item
instance of: scholarly article
title: Logical optimality of groundness analysis
zbMATH Open document ID: 0996.68031
DOI: 10.1016/S0304-3975(00)00316-9
author: Francesca Scozzari
published in: Theoretical Computer Science
publication date: 2002-07-15T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 1768117
zbMATH Keywords: abstract interpretation
zbMATH Keywords: abstract domain
zbMATH Keywords: static analysis
zbMATH Keywords: logic programming
zbMATH Keywords: groundness
zbMATH Keywords: Heyting completion
zbMATH Keywords: intuitionistic logic
MaRDI profile type: Publication
cites work: Q3998976
cites work: Q5331549
cites work: Optimal groundness analysis using propositional logic
cites work: Systematic design of program transformation frameworks by abstract interpretation
cites work: Abstract interpretation and application to logic programs
cites work: The powerset operator on abstract interpretations
cites work: “Optimal” collecting semantics for analysis in a hierarchy of logic program semantics
cites work: Q3898534
cites work: Q3994895
cites work: Q3287296
cites work: Q4038706
cites work: Logic and structure.
description: scientific article; zbMATH DE number 1768117