A theory of observables for logic programs
type: Item
instance of: scholarly article
title: A theory of observables for logic programs
zbMATH Open document ID: 1007.68020
author: Marco Comini
author: Giorgio Levi
author: Maria Chiara Meo
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 1853191
MaRDI profile type: Publication
full work available at URL: inco.2000.3024
OpenAlex ID: W2068328548
cites work: The s-semantics approach: Theory and applications
cites work: A compositional semantics for logic programs
cites work: A practical framework for theabstract interpretation of logic programs
cites work: Bottom-up abstract interpretation of logic programs
cites work: Abstract diagnosis
cites work: Compositionality properties of SLD-derivations
cites work: Systematic design of program transformation frameworks by abstract interpretation
cites work: Properties of substitutions and unifications
cites work: Finite failures and partial computations in concurrent logic languages
cites work: Declarative modeling of the operational behavior of logic languages
cites work: Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
cites work: Observable behaviors and equivalences of logic programs
cites work: Resultant semantics for prolog
cites work: “Optimal” collecting semantics for analysis in a hierarchy of logic program semantics
cites work: Generalized semantics and abstract interpretation for constraint logic programs
cites work: Making abstract interpretations complete
cites work: Q4938429
cites work: Q4494369
cites work: Q4692876
cites work: Q4217939
cites work: Q3339245
cites work: Q4938428
cites work: Logical optimality of groundness analysis
cites work: Operational and goal-independent denotational semantics for Prolog with cut
cites work: Q4217929
DOI: 10.1006/INCO.2000.3024
description: scientific article; zbMATH DE number 1853191