Concurrent constraint programming
Subexponential concurrent constraint programming
... of programming languages. In fact, new programming con- structs have been proposed by following tight connections between programming languages and proof ...the concurrent constraint ...
23
Dynamic spaces in concurrent constraint programming
... Concurrent constraint programming (CCP) is a declarative model for concurrency where agents interact with each other by posting (telling) and asking constraints (formulas in logic) in a shared store ...
19
A proof theoretic study of soft concurrent constraint programming
... leads to the development of new features allowing more expressive programming constructions to be used. For example, we investigated recently (Nigam et al. 2013) a proof theoretic specification of the ...
15
Proving concurrent constraint programming correct, revisited
... Concurrent Constraint Programming (CCP) is a simple and powerful model of concurrency where processes interact by telling and asking constraints into a global store of partial ...
17
A Symbolic model for timed concurrent constraint programming
... One of the main difficulties to develop automatic verification techniques for ntcc programs is the fact that the semantics of processes is given by two different transition systems, namely, [r] ...
17
Abstract interpretation of temporal concurrent constraint programs
... Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, ...logic programming to perform, for instance, a ...
46
Exploring Visual Programming Concepts for Probabilistic Programming Languages
... Even if parsing C and converting it to an intermediate representation would be simple (Mi- crosoft provides an EBNF grammar for the language [?]), there are a number of questions that should be explored before ...
79
Concurrent chemoradiation for vaginal cancer.
... of concurrent chemo- therapy, FIGO stage, and tumor size ...of concurrent chemotherapy, radiation dose (EQD2), use of both EBRT and brachytherapy, Figure ...
7
Anomaly detection under cost constraint
... 1988 ) for sampling units to develop a method to detect outliers related to fraudulent activities under a cost constraint. The naive solution would be to focus on the frauds that could have the largest financial ...
32
Extreme Programming
... - Cada unidade de código só tem valor se seu teste funcionar 100% - Todos os testes são executados automaticamente, o tempo todo - Testes são a documentação executável do sistema.. Refin[r] ...
48
Design of a modular multiparadigm programming language for teaching programming concepts
... By using Aspects we can concentrate the changes between language evolutions, avoiding code replication, and increasing the understandability of the resulting code. Aspect-oriented programming is used in many ...
119
CONSTRAINT REASONING FOR DIFFERENTIAL MODELS
... Most approaches solve the above problem by imposing that the result of applying a box-narrowing function to an F-box must be a single F-box. This can always be achieved by substituting the union operations of definition ...
278
Linguagem concurrent Contract-Java
... linguagem, Concurrent Contract-Java (CCJava), que ´ e uma extens˜ ao de Contract-Java, uma linguagem que estende Java com suporte para mecanismos de programa¸ c˜ ao por ...
106
MODERN TECHNIQUES FOR CONSTRAINT SOLVING
... the concurrent access to shared resources such as memory, which are not trivially solved in ...of constraint solving makes parallelization less hard to ...several constraint solvers such as Gecode ...
241
Constraint Solving over Multi-valued Logics
... of Constraint Logic Programming, the use of extra values in the digital signals (other than the usual 0/1) was firstly proposed [Simonis 1989] to solve the basic test generation problem and has been ...
197
Toward an automaton Constraint for Local Search
... Local search proceeds from the current assignment by checking a number of neighbours of that assign- ment and picking a neighbour that ideally reduces the violation: the exact heuristics are often problem dependent. But ...
13
A Simplex Based Parametric Programming Method for the Large Linear Programming Problem
... Parametric programming can provide the behavior of related decision variables values with respect to the variations of the ...linear programming problems, the traditional parametric programming ...
5
Rewriting Concurrent Haskell programs to STM
... However, writing parallel applications is not trivial. A program must be either written from the start to be executed in parallel, or later adapted for parallel execution. The program- mer has the error-prone task of ...
120
A Logical Foundation for Session-based Concurrent Computation
... As mentioned above, we define the operational semantics of process expressions in the form of a substructural operational semantics (SSOS) [62]. For the reader unfamiliar with this style of presentation, it consists of a ...
198
Real exchange rate and external constraint.
... Para avançar nesses modelos, um caminho seria analisar o papel do nível da taxa de câmbio real sobre as elasticidades preço e renda das exportações e impor- tações, e daí seus impactos [r] ...
22