Soundness, idempotence and commutativity of set-sharing
From MaRDI portal
Publication:4452614
DOI10.1017/S1471068401001338zbMath1087.68530OpenAlexW2178196758WikidataQ60501252 ScholiaQ60501252MaRDI QIDQ4452614
Enea Zaffanella, Roberto Bagnara, Patricia M. Hill
Publication date: 1 March 2004
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: http://journals.cambridge.org/action/displayIssue?jid=TLP&volumeId=2&issueId=02
Related Items
Parallel Logic Programming: A Sequel, Non-strict independence-based program parallelization using sharing and freeness information, Set-sharing is redundant for pair-sharing, Finite-tree analysis for constraint logic-based languages
