Search Results - "Concurrent Constraint Programming Abstract Interpretation"

A framework for abstract interpretation of timed concurrent constraint programs

Authors: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

Contributors: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

Source: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming. :207-218

Subject Terms: Concurrent Constraint Programming Abstract Interpretation, Abstract interpretation, Denotational semantics, Process calculi, Reactive systems, Timed concurrent constraint programming, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

File Description: application/pdf

Access URL: http://hal.inria.fr/docs/00/42/66/08/PDF/ppdp21-olarte.pdf
https://inria.hal.science/inria-00426608v1
https://inria.hal.science/inria-00426608v1/document
https://doi.org/10.1145/1599410.1599436
https://dl.acm.org/doi/10.1145/1599410.1599436
http://portal.acm.org/citation.cfm?doid=1599410.1599436
https://hal.inria.fr/inria-00426608
https://dblp.uni-trier.de/db/conf/ppdp/ppdp2009.html#FalaschiOP09
https://usiena-air.unisi.it/handle/11365/37187
https://hal.inria.fr/inria-00426608/document
https://hdl.handle.net/11365/37187
https://doi.org/10.1145/1599410.1599436