Concurrent Constraint Programming-英文文献.pdf

Concurrent Constraint Programming Vijay A. Saraswat Xerox PARC Martin Rinard Stanford University (Extended Abstract) Abstract vides a general-and elegant-alternative approach to “value-passing” in CCS. At the same time it adequately This paper presents a new and very rich class of (con- captures the framework of committed choice concurrent current) programming languages, based on the notion logic programming languages. We present the rules of of comput.ing with parhal information, and the con- behavior for cc agents, motivate a notion of “visible ac- commitant notions of consistency and entailment.’ In tion” for them, and develop the notion of c-trees and re- this framework, computation emerges from the inter- active congruence analogous to Milner’s synchronization action of concurrently executing agents that communi- trees and observational congruence. We also present an cate by placing, checking and instantiating constraints equational characterization of re