Sharing is optimal

DOI10.1016/S0743-1066(98)10026-2zbMath0942.68610OpenAlexW2083081801MaRDI QIDQ4719370

Gilberto File, Agostino Cortesi

Publication date: 1 August 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(98)10026-2

zbMATH Keywords

sharinganalysis of logic programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Optimality in goal-dependent analysis of Sharing ⋮ Optimal multibinding unification for sharing and linearity analysis ⋮ On the interaction between sharing and linearity ⋮ Finite-tree analysis for constraint logic-based languages