Search Results - Concurrency Keywords Concurrent Constraint Programming

Universidade Federal de Minas Gerais

Authors: Carlos Olarte Camilo Rueda Elaine Pimentel et al.

Contributors: Carlos Olarte Camilo Rueda Elaine Pimentel et al.

Source: http://hal.inria.fr/docs/00/74/81/41/PDF/aeminium-ppdp-pp.pdf.

Subject Terms: distributed, and parallel languages. General Terms Theory, Verification, Concurrency Keywords Concurrent Constraint Programming, Access Permissions, Linear Logic

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.397.7379
http://hal.inria.fr/docs/00/74/81/41/PDF/aeminium-ppdp-pp.pdf

Dynamic Slicing for Concurrent Constraint Languages.

Authors: Falaschi, Moreno Gabbrielli, Maurizio Olarte, Carlos et al.

Source: Fundamenta Informaticae; 2020, Vol. 177 Issue 3/4, p331-357, 27p

Subject Terms: CONSTRAINT programming, DEBUGGING, LANGUAGE & languages

A Proof Theoretic Study of Soft Concurrent Constraint Programming.

Authors: PIMENTEL, ELAINE OLARTE, CARLOS NIGAM, VIVEK et al.

Source: Theory & Practice of Logic Programming; Jul2014, Vol. 14 Issue 4/5, p649-663, 15p

Subject Terms: CONSTRAINT programming, PROOF theory, MATHEMATICAL models, LOGIC programming languages, PROBLEM solving, FUZZY logic

A concurrent constraint programming interpretation of access permissions.

Authors: OLARTE, CARLOS PIMENTEL, ELAINE RUEDA, CAMILO

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

Subject Terms: OBJECT-oriented programming languages, COMPUTER programming, AUTOMATIC theorem proving, ARTIFICIAL intelligence, COMPUTER software

Abstract interpretation of temporal concurrent constraint programs.

Authors: FALASCHI, MORENO OLARTE, CARLOS PALAMIDESSI, CATUSCIA

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

Subject Terms: CONSTRAINT programming, COMPUTER security, DENOTATIONAL semantics, DATA flow computing, DEBUGGING, LOGIC programming

Models and emerging trends of concurrent constraint programming.

Authors: Olarte, Carlos Rueda, Camilo Valencia, Frank

Source: Constraints: An International Journal; Oct2013, Vol. 18 Issue 4, p535-578, 44p

Observational equivalences for linear logic concurrent constraint languages.

Authors: HAEMMERLÉ, RÉMY

Source: Theory & Practice of Logic Programming; Jul2011, Vol. 11 Issue 4/5, p469-485, 17p

Subject Terms: CONSTRAINT programming, LOGIC programming, EQUIVALENCE relations (Set theory), BISIMULATION, COMPUTER science, LINEAR systems

Infinite Behaviour and Fairness in Concurrent Constraint Programming

Authors: Marta Kwiatkowska Leicester Le Rh The Pennsylvania State University CiteSeerX Archives

Contributors: Marta Kwiatkowska Leicester Le Rh The Pennsylvania State University CiteSeerX Archives

Source: ftp://ftp.cs.bham.ac.uk/pub/authors/M.Z.Kwiatkowska/ccons.ps.gz

Subject Terms: 2. SAFETY, LIVENESS AND FAIRNESS

File Description: application/postscript

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.8526

Integrating Efficient Records Into Concurrent Constraint Programming

Authors: Peter Van Roy Michael Mehl Ralf Scheidhauer et al.

Contributors: Peter Van Roy Michael Mehl Ralf Scheidhauer et al.

Source: http://www.info.ucl.ac.be/people/PVR/record-plilp-96.ps.

Subject Terms: Record, Logic Programming, Implementation, Natural-Language Processing, Prolog

File Description: application/postscript

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.6512
http://www.info.ucl.ac.be/people/PVR/record-plilp-96.ps

Automatic verification of timed concurrent constraint programsThis work has been partially supported by the EU (FEDER) and the Spanish MEC, under grant TIN 2004-7943-C04-02, by ICT for EU-India Cross Cultural Dissemination Project under grant ALA/95/23/2003/077-054, and by the Italian project Cofin'04 AIDA.

Authors: MORENO FALASCHI ALICIA VILLANUEVA

Source: Theory & Practice of Logic Programming; May2006, Vol. 6 Issue 3, p265-300, 36p

Subject Terms: COMPUTER programming, ELECTRONIC data processing, MATHEMATICAL analysis, ALGORITHMS, LOGIC

Adaptive Personalized Learning System with Generative AI.

Authors: Parakh, Divyansh Lodha, Prerak C. N., Subalalitha

Source: Frontiers in Health Informatics; 2024, Vol. 13 Issue 8, p2612-2637, 26p

Subject Terms: GENERATIVE artificial intelligence, INSTRUCTIONAL systems, LANGUAGE models, DATABASES, INDIVIDUALIZED instruction, VIRTUAL classrooms, PYTHON programming language

The ThreadRadar visualization for debugging concurrent Java programs.

Authors: Moseler, Oliver Kreber, Lucas Diehl, Stephan

Source: Journal of Visualization; Dec2022, Vol. 25 Issue 6, p1267-1289, 23p

Using Partition Information Entropy to Computationally Rank Order Critical Subreactions in a Petri Net Model of a Biochemical Signaling Network.

Authors: Jones-Oliveira, Janet B. Oliveira, Hans-Joseph B. Oliveira, Joseph S. et al.

Source: Journal of Computational Biology; Nov2025, Vol. 32 Issue 11, p1003-1040, 38p

NEXT-GEN ENTERPRISE BI: A STRATEGIC GUIDE TO AI-INFUSED REPORTING SOLUTIONS.

Authors: MARAPATLA, PENTA RAO

Source: TPM: Testing, Psychometrics, Methodology in Applied Psychology; 2025 Supplement, Vol. 32, p248-262, 15p

Construction of intelligent sports service platform and application of physiological index evaluation under VR background.

Authors: Xu, Xu Wang, Qingbao Cheng, Peng et al.

Source: Molecular & Cellular Biomechanics; 2025, Vol. 22 Issue 3, p1-26, 26p

Subject Terms: VIRTUAL reality, PHYSIOLOGY, MOTION capture (Human mechanics), PHYSICAL activity, HEALTH outcome assessment, SPORTS & technology, BIOSENSORS, PHYSICAL fitness testing

Nordic Journal of Computing 9(2002), 145–188. TEMPORAL CONCURRENT CONSTRAINT PROGRAMMING: DENOTATION, LOGIC AND APPLICATIONS

Authors: Mogens Nielsen Frank D. Valencia Catuscia Palamidessi et al.

Contributors: Mogens Nielsen Frank D. Valencia Catuscia Palamidessi et al.

Source: http://www.lix.polytechnique.fr/~fvalenci/papers/journal-ntcc.pdf.

Subject Terms: specification

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.7813
http://www.lix.polytechnique.fr/~fvalenci/papers/journal-ntcc.pdf

Associating synchronization constraints with data in an object-oriented language

Authors: Mandana Vaziri Frank Tip Julian Dolby et al.

Contributors: Mandana Vaziri Frank Tip Julian Dolby et al.

Source: http://www.cs.cornell.edu/People/egs/cornellonly/syslunch/spring06/papers/vaziri.pdf.

Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming-parallel programming, D.2.4 [Software Engineering, Software/Program Verification-reliability, F.3.1 [Logics And Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Languages, Theory Keywords Concurrent Object-Oriented Programming, Data Races, Serializability, Programming Model

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.9435; http://www.cs.cornell.edu/People/egs/cornellonly/syslunch/spring06/papers/vaziri.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.9435
http://www.cs.cornell.edu/People/egs/cornellonly/syslunch/spring06/papers/vaziri.pdf

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Authors: Viktor Vafeiadis

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

(Hybrid) automata and (stochastic) programsThe hybrid automata lattice of a stochastic program.

Authors: Bortolussi, Luca Policriti, Alberto

Source: Journal of Logic & Computation; Aug2013, Vol. 23 Issue 4, p761-798, 38p

Subject Terms: CONSTRAINT programming, STOCHASTIC programming, STOCHASTIC processes, PROBABILISTIC automata, COMPUTER programming, SEMANTIC computing, INFORMATION theory

The White Puzzle: A Framework for Computation as a Recursive‑Harmonic Phenomenon

Authors: KULIK, DEAN