An algebraic approach to sharing analysis of logic programs

DOI10.1016/S0743-1066(99)00007-2zbMath0944.68029OpenAlexW2030283734MaRDI QIDQ4939543

V. Lagoon, Michael Codish, Francisco Bueno

Publication date: 6 February 2000

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(99)00007-2

zbMATH Keywords

set logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (6)

Pair-independence and freeness analysis through linear refinement. ⋮ Optimality in goal-dependent analysis of Sharing ⋮ Parallel Logic Programming: A Sequel ⋮ On the interaction between sharing and linearity ⋮ Type dependencies for logic programs using ACI-unification ⋮ Negative Ternary Set-Sharing

This page was built for publication: An algebraic approach to sharing analysis of logic programs