Abstract domains for reordering CLP(RLin) programs

DOI10.1016/S0743-1066(99)00011-4zbMath0952.68031OpenAlexW2127885269MaRDI QIDQ4943436

No author found.

Publication date: 4 June 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)00011-4

zbMATH Keywords

constraint logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Widening and narrowing operators for abstract interpretation ⋮ A method for detecting symmetries in constraint models and its generalisation

This page was built for publication: Abstract domains for reordering CLP(RLin) programs