Demand transformation analysis for concurrent constraint programs

DOI10.1016/S0743-1066(99)00004-7MaRDI QIDQ4943435zbMATH OpenOpenAlexFDO

Authors William Winsborough, M. Falaschi, Patrick Hicks

Publication date 16 March 2000

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

Full work available at URL https://doi.org/10.1016/s0743-1066(99)00004-7

zbMATH Keywords

demand transformation analysisstream-parallel logic languages

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1059301
• Models and emerging trends of concurrent constraint programming
• Efficient analysis of concurrent constraint logic programs
• Transparent parallelization of constraint programming
• scientific article; zbMATH DE number 794260
• scientific article; zbMATH DE number 1088220
• A foundation for higher-order concurrent constraint programming
• Dynamic spaces in concurrent constraint programming
• Models for concurrent constraint programming

Cited in

(3)

• Managing the granularity of constraint-based analyses by rule transformation.
• Demand analysis with partial predicates
• Efficient demand-driven evaluation. Part 1

This page was built for publication: Demand transformation analysis for concurrent constraint programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4943435)