Search Results - Concurrent Constraint Programming Abstract Interpretation

Abstract interpretation of temporal concurrent constraint programs by FALASCHI, MORENO, OLARTE, CARLOS, PALAMIDESSI, CATUSCIA

“…Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e…”
Get full text

A concurrent constraint programming interpretation of access permissions by OLARTE, CARLOS, PIMENTEL, ELAINE, RUEDA, CAMILO

“… This paper presents a declarative interpretation of APs as linear concurrent constraint programs (lcc…”
Get full text

Abstract diagnosis for timed concurrent constraint programs by COMINI, MARCO, TITOLO, LAURA, VILLANUEVA, ALICIA

“…The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat…”
Get full text

A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation by Jiang, Qingyu, Liu, Jing, Hu, Haodong

“… This article discusses the requirements for formal verification of concurrent embedded software and proposes a constraint-based flow-sensitive static analysis for concurrent avionics software…”
Get full text

Abstract Interpretation of Temporal Concurrent Constraint Programs by Moreno Falaschi, Olarte, Carlos, Palamidessi, Catuscia

“…Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e…”
Get full text

Trouble doing two differently timed actions at once: What is the problem? by Maslovat, Dana, Klapp, Stuart T

“…It is nearly impossible to concurrently initiate and execute two motor actions with independent timing. For example, it is difficult to tap one rhythm with the…”
Get more information

A semantic framework for the abstract model checking of tccp programs by Alpuente, María, del Mar Gallardo, María, Pimentel, Ernesto, Villanueva, Alicia

“…The Timed Concurrent Constraint programming language ( tccp) introduces time aspects into the Concurrent Constraint paradigm…”
Get full text

Abstract Diagnosis for tccp using a Linear Temporal Logic by COMINI, MARCO, TITOLO, LAURA, VILLANUEVA, ALICIA

“… (based on abstract interpretation techniques) does not require to build any model at all. Our results guarantee correctness but, as usual when using an abstract semantics, completeness is lost…”
Get full text

Timed Default Concurrent Constraint Programming by SARASWAT, VIJAY, JAGADEESAN, RADHA, GUPTA, VINEET

“…, extending the closure-operator model for untimed concurrent constraint programming (CCP). In Saraswat et al. (1994a) we had proposed a model for this called tcc…”
Get full text

LMNtal as a hierarchical logic programming language by Ueda, Kazunori

“…), the two notable extensions to concurrent logic programming. LMNtal is intended to be a substrate language of various computational models, especially those addressing concurrency, mobility and multiset rewriting…”
Get full text

Static analysis for concurrent programs with applications to data race detection by Kahlon, Vineet, Sankaranarayanan, Sriram, Gupta, Aarti

“…We propose a general framework for static analysis of concurrent multi-threaded programs in the presence of various types of synchronization primitives such as locks and pairwise rendezvous…”
Get full text

A Concurrent Constraint Programming Interpretation of Access Permissions by Olarte, Carlos, Pimentel, Elaine, Rueda, Camilo

“… This paper presents a declarative interpretation of APs as Linear Concurrent Constraint Programs (lcc…”
Get full text

Concurrent two-scale topological design of multiple unit cells and structure using combined velocity field level set and density model by Wang, Yaguang, Kang, Zhan

“…This paper studies concurrent two-scale design optimization of composite structures filled with multiple microstructural unit cells…”
Get full text

A Timed Concurrent Constraint Language by de Boer, F.S., Gabbrielli, M., Meo, M.C.

“…We study a timed concurrent constraint language, called tccp, which is obtained by a natural timed interpretation of the usual ccp constructs…”
Get full text

Confluence in concurrent constraint programming by Falaschi, Moreno, Gabbrielli, Maurizio, Marriott, Kim, Palamidessi, Catuscia

“…Concurrent constraint programming (ccp), like most of the concurrent paradigms, has a mechanism of global choice which makes computations dependent on the scheduling of processes…”
Get full text

LMNtal as a hierarchical logic programming language: Abstract Interpretation and Logic Programming: in Honor of professor Giorgio Levi by UEDA, Kazunori

Get full text

Abstract Model Checking of tccp programs by Alpuente, María, del Mar Gallardo, María, Pimentel, Ernesto, Villanueva, Alicia

“…The Timed Concurrent Constraint programming language (tccp) introduces time aspects into the Concurrent Constraint paradigm…”
Get full text

A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages by Bagnara, Roberto

“…Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation progresses…”
Get full text

Demand transformation analysis for concurrent constraint programs by Falaschi, Moreno, Hicks, Patrick, Winsborough, William

“… This backward dataflow analysis for concurrent constraint programs is constructed in the framework of abstract interpretation…”
Get full text

Stereo Matching with Mumford-Shah Regularization and Occlusion Handling by Ben-Ari, R, Sochen, N

“… The evaluation process is based on concurrent minimization of two coupled energy functionals, one for domain segmentation…”
Get full text