|
Abstracting Synchronization in Concurrent Constraint Programming (JFLP)[Page last updated on "gennaio 21, 2013, 11:18:11".]Enea Zaffanella, Roberto Giacobazzi and Giorgio Levi AbstractBecause of synchronization based on blocking ask, some of the most important techniques for data-flow analysis of (sequential) constraint logic programs (clp) are no longer applicable to cc languages. In particular, the generalized approach to the semantics, intended to factorize the (standard) semantics so as to make explicit the domain-dependent features (i.e., operators and semantic objects that may be influenced by abstraction) becomes useless for relevant applications. In the case of clp programs, abstract interpretation of a program P is obtained by evaluating an abstract program
The paper can be obtained from JFLP. For convenience, I provide the pdf file obtained by recompiling the sources (taken from the above site).
Available: PDF, BibTeX entry. |
||||||
enea.zaffanella@unipr.it |
| Home | Personal Info | Research | Papers | Teaching | About |