Suchergebnisse - concurrent constraint programming ((abstrakty OR abstracts) OR abstrakte) interpretation

A framework for abstract interpretation of timed concurrent constraint programs

Autoren: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

Weitere Verfasser: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-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

Abstract Interpretation of Temporal Concurrent Constraint Programs

Autoren: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

Index Begriffe: Computer Science - Logic in Computer Science, F.3.1, D.3.2, text

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

Abstract interpretation of temporal concurrent constraint programs

Autoren: Catuscia Palamidessi Carlos Olarte Moreno Falaschi et al.

Weitere Verfasser: Catuscia Palamidessi Carlos Olarte Moreno Falaschi et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf; STAMPA

Zugangs-URL: 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

Autoren: Herbert Wiklicky Alessandra Di Pierro

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

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-URL: 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

Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation

Autoren: Alessandra Di Pierro Herbert Wiklicky The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Alessandra Di Pierro Herbert Wiklicky The Pennsylvania State University CiteSeerX Archives

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

Dateibeschreibung: 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

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

Abstract interpretation of temporal concurrent constraint programs.

Autoren: FALASCHI, MORENO OLARTE, CARLOS PALAMIDESSI, CATUSCIA

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

Schlagwörter: CONSTRAINT programming, COMPUTER security, DENOTATIONAL semantics, DATA flow computing, DEBUGGING, LOGIC programming

Abstract Model Checking of tccp programs

Autoren: María Alpuente Alicia Villanueva Ernesto Pimentel et al.

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

Schlagwörter: 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)

Zugangs-URL: 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

The Use of Artificial Intelligence (AI) to Support Dietetic Practice Across Primary Care: A Scoping Review of the Literature.

Autoren: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia et al.

Quelle: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.

A semantic framework for the abstract model checking of tccp programs

Autoren: Ernesto Pimentel María del Mar Prados Gallardo María Alpuente et al.

Quelle: Theoretical Computer Science. 346:58-95

Schlagwörter: 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)

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/2242232
https://doi.org/10.1016/j.tcs.2005.08.009

A concurrent constraint programming interpretation of access permissions.

Autoren: OLARTE, CARLOS PIMENTEL, ELAINE RUEDA, CAMILO

Quelle: Theory & Practice of Logic Programming; Mar2018, Vol. 18 Issue 2, p252-295, 44p

Schlagwörter: OBJECT-oriented programming languages, COMPUTER programming, AUTOMATIC theorem proving, ARTIFICIAL intelligence, COMPUTER software

Analysis of concurrent constraint logic programs with a fixed scheduling rule

Autoren: Bueno Carrillo, Francisco Hermenegildo, Manuel V.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: https://oa.upm.es/14685/

A characterization of symmetric semantics by domain complementation

Autoren: GIACOBAZZI, Roberto MASTROENI, Isabella

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

Schlagwörter: 0102 computer and information sciences, 0101 mathematics, abstract interpretation, concurrent constraint programming, domain complementation, program semantics, 01 natural sciences

Dateibeschreibung: application/pdf

Zugangs-URL: 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

Abstracts of the 11th Tanzania Health Summit.

Quelle: BMC Proceedings; 10/27/2025, Vol. 19 Issue 29, p1-60, 60p

Schlagwörter: PUBLIC health, COMMUNICABLE diseases, COMMUNITY involvement, DIGITAL technology, CHILDREN'S health, HEALTH care reform, MATERNAL health

Geografische Kategorien: TANZANIA

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

Autoren: Titolo, Laura VILLANUEVA GARCIA, ALICIA COMINI, MARCO

Weitere Verfasser: Titolo, Laura VILLANUEVA GARCIA, ALICIA COMINI, MARCO

Schlagwörter: Concurrent Constraint Paradigm, Abstract Interpretation, Semantic, Formal Verification, Timed Concurrent Constraint Programming, Settore INF/01 - Informatica

Relation: alleditors:VILLANUEVA GARCIA, ALICIA; http://hdl.handle.net/11390/1132210; http://hdl.handle.net/10990/495

Verfügbarkeit: http://hdl.handle.net/11390/1132210
http://hdl.handle.net/10990/495

A framework for abstract interpretation of timed concurrent constraint programs

Autoren: Moreno Falaschi Carlos Olarte Catuscia Palamidessi et al.

Weitere Verfasser: Moreno Falaschi Carlos Olarte Catuscia Palamidessi et al.

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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

2025 Heart Valve Society Annual Meeting Abstracts.

Quelle: Journal of the Heart Valve Society; 2025 Suppl 2, Vol. 2, pS1-S98, 98p

Acceptability of Antenatal Multiple Micronutrient Supplementation (MMS) Compared to Iron and Folic Acid (IFA) Supplementation in Pregnant Individuals: A Narrative Review.

Autoren: Kissell, Mihaela C. Pereira, Carolina Gomes, Filomena et al.

Quelle: Nutrients. Sep2025, Vol. 17 Issue 18, p2994. 15p.

Farmers’ knowledge, attitudes, and practices toward animal welfare across different beef cattle farming systems in Phayao Province, Thailand.

Autoren: Kongmuang, Nattamaporn Intawicha, Payungsuk Sakphoowadon, Surinthip et al.

Quelle: Journal of Advanced Veterinary & Animal Research. Sep2025, Vol. 12 Issue 3, p861-869. 9p.

The Liver Meeting: 2025 Abstracts.

Quelle: Hepatology (02709139); 2025Supplement, Vol. 82, pS1-S2308, 2308p

A Semantic Framework for the Abstract Model Checking of tccp Programs

Autoren: María Alpuente María del Mar Gallardo Ernesto Pimentel et al.

Weitere Verfasser: María Alpuente María del Mar Gallardo Ernesto Pimentel et al.

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

Schlagwörter: Timed Concurrent Constraint programming, Abstract interpretation, Model checking

Dateibeschreibung: 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

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