Výsledky vyhľadávania - concurrent constraint programming (abstract OR abstrakte) 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ískať 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ískať 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ískať 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ískať 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…”
Zistit podrobnosti o prístupe

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ískať 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ískať plný text

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ískať plný text

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

Získať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať plný text

Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation Autor Pierre-Loïc Garoche, Pantel, Marc, Thirioux, Xavier

“… We present here a new approach, control-flow oriented, based on the abstract interpretation framework, able to deal with communication of behaviors…”
Získať plný text