On the design of a correct freeness analysis for logic programs

DOI10.1016/0743-1066(95)00120-4zbMath0874.68057OpenAlexW2044969589MaRDI QIDQ3129510

Maurice Bruynooghe, Michael Codish, Dennis Dams, Gilberto File

Publication date: 27 April 1997

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

Full work available at URL: https://dspace.library.uu.nl/handle/1874/26679

zbMATH Keywords

Prolog compilers

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Pair-independence and freeness analysis through linear refinement. ⋮ Non-strict independence-based program parallelization using sharing and freeness information ⋮ Negative Ternary Set-Sharing

This page was built for publication: On the design of a correct freeness analysis for logic programs