Výsledky vyhledávání - Concurrent Constraint Programming Abstract Interpretation

A framework for abstract interpretation of timed concurrent constraint programs

Autoři: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

Přispěvatelé: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Abstract interpretation of temporal concurrent constraint programs

Autoři: Catuscia Palamidessi Carlos Olarte Moreno Falaschi a další

Přispěvatelé: Catuscia Palamidessi Carlos Olarte Moreno Falaschi a další

Zdroj: Theory and Practice of Logic Programming. 15:312-357

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], reactive systems, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Process calculi, 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation, Denotational semantics, F.3.1, D.3.2, process calculi, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Abstract interpretation, timed concurrent constraint programming, process calculi, abstract interpretation, denotational semantics, reactive systems, 16. Peace & justice, Logic in Computer Science (cs.LO), Reactive systems, 13. Climate action, Timed concurrent constraint programming, timed concurrent constraint programming, denotational semantics

Popis souboru: application/pdf; STAMPA

Přístupová URL adresa: http://arxiv.org/pdf/1312.2552
http://arxiv.org/abs/1312.2552
https://inria.hal.science/hal-00945462v1
https://arxiv.org/abs/1312.2552
https://hal.archives-ouvertes.fr/hal-01271663
https://repositorio.ufrn.br/jspui/handle/123456789/29777
https://doi.org/10.1017/S1471068413000641
http://ui.adsabs.harvard.edu/abs/2013arXiv1312.2552F/abstract
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abstract-interpretation-of-temporal-concurrent-constraint-programs/79AB54B8007AA797C1631A461FD7CE2B
https://dblp.uni-trier.de/db/journals/corr/corr1312.html#FalaschiOP13
http://journals.cambridge.org/article_S1471068413000641
https://doi.org/10.1017/S1471068413000641
https://hdl.handle.net/11365/46493

Concurrent constraint programming: towards probabilistic abstract interpretation

Autoři: Herbert Wiklicky Alessandra Di Pierro

Zdroj: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming. :127-138

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Přístupová URL adresa: http://portal.acm.org/citation.cfm?doid=351268.351284
https://dl.acm.org/doi/10.1145/351268.351284
https://dblp.uni-trier.de/db/conf/ppdp/ppdp2000.html#PierroW00

Abstract Interpretation of Temporal Concurrent Constraint Programs

Autoři: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

Témata: Computer Science - Logic in Computer Science, F.3.1, D.3.2, text

URL: http://arxiv.org/abs/1312.2552

Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation

Autoři: Alessandra Di Pierro Herbert Wiklicky The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Alessandra Di Pierro Herbert Wiklicky The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.di.unipi.it/~dipierro/papers/PPDP00.ps.

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.1995; http://www.di.unipi.it/~dipierro/papers/PPDP00.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.1995
http://www.di.unipi.it/~dipierro/papers/PPDP00.ps

An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages

Autoři: Titolo, Laura

Témata: Concurrent Constraint Paradigm, Abstract Interpretation, Semantics, Formal Verification, Timed Concurrent Constraint Programming

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10990/495

Abstract interpretation of temporal concurrent constraint programs.

Autoři: FALASCHI, MORENO OLARTE, CARLOS PALAMIDESSI, CATUSCIA

Zdroj: Theory & Practice of Logic Programming; May2015, Vol. 15 Issue 3, p312-357, 46p

Témata: CONSTRAINT programming, COMPUTER security, DENOTATIONAL semantics, DATA flow computing, DEBUGGING, LOGIC programming

Abstract Model Checking of tccp programs

Autoři: María Alpuente Alicia Villanueva Ernesto Pimentel a další

Zdroj: Electronic Notes in Theoretical Computer Science. 112:19-36

Témata: Abstract Interpretation, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Timed Concurrent Constraint Programming, Model Checking, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S1571066104052405
https://dblp.uni-trier.de/db/journals/entcs/entcs112.html#AlpuenteGPV05
https://core.ac.uk/display/20785631

Analysis of concurrent constraint logic programs with a fixed scheduling rule

Autoři: Bueno Carrillo, Francisco Hermenegildo, Manuel V.

Zdroj: ICLP95 WS on Abstract Interpretation of Logic Languages | ICLP95 WS on Abstract Interpretation of Logic Languages | June, 1995 | Japan
Archivo Digital UPM
instname

Témata: Informática, Modelo de Andorra, Análisis de programas, Programación restringida concurrente, Program analysis, Andorra model, Abstract interpretation, Interpretación de resúmenes, Concurrent constraint programming

Popis souboru: application/pdf

Přístupová URL adresa: https://oa.upm.es/14685/

A semantic framework for the abstract model checking of tccp programs

Autoři: Ernesto Pimentel María del Mar Prados Gallardo María Alpuente a další

Zdroj: Theoretical Computer Science. 346:58-95

Témata: Model checking, Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Specification and verification (program logics, model checking, etc.), Timed Concurrent Constraint programming, 0202 electrical engineering, electronic engineering, information engineering, Abstract interpretation, timed concurrent constraint programming, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/2242232
https://doi.org/10.1016/j.tcs.2005.08.009

A characterization of symmetric semantics by domain complementation

Autoři: GIACOBAZZI, Roberto MASTROENI, Isabella

Zdroj: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming. :115-126

Témata: 0102 computer and information sciences, 0101 mathematics, abstract interpretation, concurrent constraint programming, domain complementation, program semantics, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: http://portal.acm.org/citation.cfm?doid=351268.351281
https://dl.acm.org/citation.cfm?doid=351268.351281
https://core.ac.uk/display/22938397
https://dblp.uni-trier.de/db/conf/ppdp/ppdp2000.html#GiacobazziM00
https://dl.acm.org/doi/10.1145/351268.351281
https://doi.org/10.1145/351268.351281

A framework for abstract interpretation of timed concurrent constraint programs

Autoři: Moreno Falaschi Carlos Olarte Catuscia Palamidessi a další

Přispěvatelé: Moreno Falaschi Carlos Olarte Catuscia Palamidessi a další

Zdroj: http://hal.inria.fr/docs/00/42/66/08/PDF/ppdp21-olarte.pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.211.3358

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.211.3358
http://hal.inria.fr/docs/00/42/66/08/PDF/ppdp21-olarte.pdf

Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language

Autoři: Bueno Carrillo, Francisco García de la Banda, M. Hermenegildo, Manuel V.

Témata: Programación simultánea restringida, Paralelización, Compile-time analysis, Independent and-parallelism, Program transformation, Parallelization, Abstract interpretation, Programación lógica restringida, Interpretación abstracta, análisis del tiempo de compilación, (Constraint) Logic programming, Concurrent constraint programming, Transformación de programas

Přístupová URL adresa: https://oa.upm.es/15081/

A Semantic Framework for the Abstract Model Checking of tccp Programs

Autoři: María Alpuente María del Mar Gallardo Ernesto Pimentel a další

Přispěvatelé: María Alpuente María del Mar Gallardo Ernesto Pimentel a další

Zdroj: http://150.214.108.177/pubs/doc/205.pdf.

Témata: Timed Concurrent Constraint programming, Abstract interpretation, Model checking

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.7978; http://150.214.108.177/pubs/doc/205.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.7978
http://150.214.108.177/pubs/doc/205.pdf

H.: Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation

Autoři: Alessandra Di Pierro Herbert Wiklicky The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Alessandra Di Pierro Herbert Wiklicky The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.doc.ic.ac.uk/~herbert/papers/ppdp00.pdf.

Témata: analysis, F.1.2 [Theory of Computation, Modes of Computation—Probabilistic

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.398.6562; http://www.doc.ic.ac.uk/~herbert/papers/ppdp00.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.398.6562
http://www.doc.ic.ac.uk/~herbert/papers/ppdp00.pdf

Concurrent Constraint Programming: TowardsProbabilistic Abstract Interpretation

Autoři: Alessandra Di Pierrodipartimento Informatica The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Alessandra Di Pierrodipartimento Informatica The Pennsylvania State University CiteSeerX Archives

Zdroj: http://profs.sci.univr.it/~dipierro/papers/PPDP00.ps.

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.447; http://profs.sci.univr.it/~dipierro/papers/PPDP00.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.447
http://profs.sci.univr.it/~dipierro/papers/PPDP00.ps

Abstracting synchronization in concurrent constraint programming

Autoři: Enea Zaffanella GIACOBAZZI, Roberto Giorgio Levi a další

Přispěvatelé: Enea Zaffanella GIACOBAZZI, Roberto Giorgio Levi a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783540584025

Témata: success semantics, constraint logic programs, Data flow analysis, constraint logic programming, semantics, 0202 electrical engineering, electronic engineering, information engineering, data-flow analysis, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, Logic programming, 01 natural sciences

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1332633
https://link.springer.com/chapter/10.1007/3-540-58402-1_6
https://www.cs.unipr.it/~zaffanella/Papers/PDF/JFLP97.pdf
https://rd.springer.com/chapter/10.1007/3-540-58402-1_6
http://dblp.uni-trier.de/db/conf/plilp/plilp94.html#ZffanellaGL94
https://core.ac.uk/display/24730043
http://www.cs.unipr.it/~zaffanella/Papers/PDF/JFLP97.pdf
https://hdl.handle.net/11562/438159

Confluence in Concurrent Constraint Programming

Autoři: Falaschi, M. Gabbrielli, M. Marriott, K. a další

Témata: INF/01 - Informatica, Book, NonPeerReviewed

URL: http://eprints.adm.unipi.it/1942/1/TR-96-21.ps.gz
http://eprints.adm.unipi.it/1942/
http://compass2.di.unipi.it/TR/files/TR-96-21.ps.gz
http://eprints.adm.unipi.it/1942
http://compass2.di.unipi.it/TR/files/TR-96-21.ps.gz

Abstract diagnosis for timed concurrent constraint programs.

Autoři: COMINI, MARCO TITOLO, LAURA VILLANUEVA, ALICIA

Zdroj: Theory & Practice of Logic Programming; Jul2011, Vol. 11 Issue 4/5, p487-502, 16p

Témata: CONSTRAINT satisfaction, DEBUGGING, SEMANTIC computing, DENOTATIONAL semantics, COMPUTER science, ALGORITHMS

Abstract Model Checking of tccp programs

Autoři: Alpuente, María del Mar Gallardo, María Pimentel, Ernesto a další

Zdroj: ENTCS: Electronic Notes in Theoretical Computer Science. Dec2004, Vol. 112, p19-36. 18p.

Témata: Programming languages, Information theory, Computer software, Algorithms