Operational Semantics of Constraint Logic Programs with Coroutining

Andreas Podelski, Gert Smolka. Operational Semantics of Constraint Logic Programs with Coroutining. In ICLP. pages 449-463, 1995.

Abstract

Abstract is missing.