Efficient analysis of concurrent constraint logic programs

DOI10.1007/3-540-56939-1_108zbMath1418.68052MaRDI QIDQ4630298

Michael Codish, Moreno Falaschi, Kim Marriott, William Winsborough

Publication date: 29 March 2019

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56939-1_108

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68Q55: Semantics in the theory of computing

68N17: Logic programming

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Confluence in concurrent constraint programming, A confluent calculus for concurrent constraint programming