A confluent semantic basis for the analysis of concurrent constraint logic programs

DOI10.1016/S0743-1066(96)00013-1zbMath0884.68023MaRDI QIDQ4364205

William Winsborough, Michael Codish, Kim Marriott, Moreno Falaschi

Publication date: 17 March 1998

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

concurrent constraint logic languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

Abstract interpretation of temporal concurrent constraint programs

This page was built for publication: A confluent semantic basis for the analysis of concurrent constraint logic programs