Reexecution in abstract interpretation of prolog

DOI10.1007/S002360050013zbMath0939.68572OpenAlexW2063279331MaRDI QIDQ1892715

Baudouin Le Charlier, Pascal Van Hentenryck

Publication date: 5 May 1999

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050013

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations

This page was built for publication: Reexecution in abstract interpretation of prolog