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

Abstract interpretation of temporal concurrent constraint programs Autor 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…”
Získat plný text

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

“… This paper presents a declarative interpretation of APs as linear concurrent constraint programs (lcc…”
Získat plný text

Abstract diagnosis for timed concurrent constraint programs Autor 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…”
Získat plný text

A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation Autor 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…”
Získat plný text

Abstract Interpretation of Temporal Concurrent Constraint Programs Autor 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…”
Získat plný text

Trouble doing two differently timed actions at once: What is the problem? Autor 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…”
Zjistit podrobnosti o přístupu

A semantic framework for the abstract model checking of tccp programs Autor 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…”
Získat plný text

Abstract Diagnosis for tccp using a Linear Temporal Logic Autor 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…”
Získat plný text

Timed Default Concurrent Constraint Programming Autor 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…”
Získat plný text

LMNtal as a hierarchical logic programming language Autor 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…”
Získat plný text

Static analysis for concurrent programs with applications to data race detection Autor 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…”
Získat plný text

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

“… This paper presents a declarative interpretation of APs as Linear Concurrent Constraint Programs (lcc…”
Získat plný text

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

“…This paper studies concurrent two-scale design optimization of composite structures filled with multiple microstructural unit cells…”
Získat plný text

A Timed Concurrent Constraint Language Autor 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…”
Získat plný text

Confluence in concurrent constraint programming Autor 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…”
Získat plný text

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

Získat plný text

Abstract Model Checking of tccp programs Autor 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…”
Získat plný text

A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages Autor 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…”
Získat plný text

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

“… This backward dataflow analysis for concurrent constraint programs is constructed in the framework of abstract interpretation…”
Získat plný text

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

“… The evaluation process is based on concurrent minimization of two coupled energy functionals, one for domain segmentation…”
Získat plný text