Toward a declarative semantics for infinite objects in logic programming
From MaRDI portal
Publication:3787447
DOI10.1016/0743-1066(88)90016-7zbMath0644.68025MaRDI QIDQ3787447
Publication date: 1988
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(88)90016-7
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
Related Items
Nondeterminism and infinite computations in constraint programming, Declarative modeling of the operational behavior of logic languages, Completions of perpetual logic programs, An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.