Tick, E.; Korsloot, M.
(University of Oregon, 1990-11)
This paper describes an algorithm for the code generation of determinacy testing
for nondeterminate flat concurrent logic programming languages. Languages such
as Andorra and Pandora require that procedure invocations ...