Generalized semantics and abstract interpretation for constraint logic programs
From MaRDI portal
Publication:3128618
DOI10.1016/0743-1066(95)00038-0zbMath0871.68048OpenAlexW2053616158MaRDI QIDQ3128618
Roberto Giacobazzi, Saumya Debray, Giorgio Levi
Publication date: 17 April 1997
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(95)00038-0
Related Items
Pair-independence and freeness analysis through linear refinement. ⋮ Abstract interpretation of temporal concurrent constraint programs ⋮ Model-based computing: Developing flexible machine control software ⋮ A semantic framework for the abstract model checking of tccp programs ⋮ A theory of observables for logic programs ⋮ Set-sharing is redundant for pair-sharing ⋮ A freeness and sharing analysis of logic programs based on a pre-interpretation