• Oz

  • Referenced in 117 articles [sw06799]
  • high-level programming language combining constraint inference with concurrency. Typical application areas of Oz include ... constraint store. It supports finite domain and feature constraints and has powerful primitives for programming...
  • CC-Pi

  • Referenced in 30 articles [sw15033]
  • Constraint-Based Language for Specifying Service Level Agreements. Service Level Agreements are a key issue ... programming paradigms: name-passing calculi and concurrent constraint programming (cc programming). Specifically, we extend...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • declarative programming, object-oriented programming, constraint programming, and concurrency as part of a coherent whole...
  • LOUI

  • Referenced in 10 articles [sw19627]
  • server architecture and implemented in the concurrent constraint programming language...
  • Alcove

  • Referenced in 4 articles [sw41058]
  • COnstraints VErifier) is a framework for the automatic analysis of Access Permission based programs ... model as agents in Linear Concurrent Constraint Programming (lcc) [FRS01]. The lcc model is then ... permissions and animate the execution of the program. From the lcc model, ALCOVE LL Prover ... properties of the program such us: Deadlocks: the program cannot terminate. Concurrent executions: whether...
  • LMNtal

  • Referenced in 9 articles [sw07312]
  • LMNtal as a hierarchical logic programming language. LMNtal (pronounced “elemental”) is a simple language model ... concurrency and Constraint Handling Rules, the two notable extensions to concurrent logic programming. LMNtal...
  • ntccSim

  • Referenced in 1 article [sw33009]
  • AVISPA Research Group in the Concurrent Constraint Programming (CCP) language Mozart-Oz in order...
  • Kima

  • Referenced in 3 articles [sw08979]
  • automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong ... constraint-based analysis are turning out to play fundamental roles in debugging concurrent logic programs ... analysis of Moded Flat GHC is a constraint satisfaction problem with many simple mode/type constraints...
  • tccp

  • Referenced in 3 articles [sw28619]
  • timed extension of the Saraswat’s Concurrent Constraint Paradigm (ccp in short) which makes ... asking) partial information (constraints) on a global store (a conjunction of constraints). tccp inherits ... parametric w.r.t. a constraint system and non-deterministic. This work presents the tccpInterpreter system, which ... task of prototyping the semantics of programming languages. Our tccpInterpreter parses a given program...
  • CREST

  • Referenced in 2 articles [sw09948]
  • program to perform symbolic execution concurrently with the concrete execution. The generated symbolic constraints ... drive the test execution down new, unexplored program paths. CREST currently only reasons symbolically about...
  • HAL_

  • Referenced in 2 articles [sw07224]
  • programming. Hal is an architecture independent, concurrent object-oriented language which supports inheritance, synchronization constraints ... compiler has been used to execute actor programs on a number of shared and distributed...
  • Ntccrt

  • Referenced in 2 articles [sw33008]
  • interpreter for the Non-deterministic Timed Concurrent Constraint (ntcc) calculus and its probabilistic extension (pntcc ... execute models either as a stand-alone program, as a patch in OpenMusic...
  • J.CP

  • Referenced in 1 article [sw03404]
  • programming language Java. Constraints are autonomous objects that can be posted and retracted in concurrently...
  • Kilim

  • Referenced in 8 articles [sw20229]
  • around isolation type qualifiers to enforce these constraints. Kilim comfortably scales to handle hundreds ... Erlang (currently the gold standard for concurrency-oriented programming...
  • Con2colic

  • Referenced in 2 articles [sw39882]
  • concrete and symbolic executions of a concurrent program, (con)2colic testing derives inputs and schedules ... such that the execution space of the program under investigation is systematically explored. We introduce ... unified representation of path and interference constraints. We have implemented a (con)2colic testing engine...
  • gini

  • Referenced in 1 article [sw16095]
  • programming language. Gini solves the problem of efficient Boolean constraint propagation in a garbage collected ... provides a CDCL based solver and some concurrent utilities on top of it. Additionally, Gini...
  • Rast

  • Referenced in 1 article [sw41190]
  • open-source implementation of session-typed concurrent programs extended with arithmetic refinements as well ... work and span of program execution. To further support generic programming, Rast also enhances arithmetically ... optimizations, and a heuristic extension to nonlinear constraints. Rast furthermore includes a reconstruction engine...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Figaro

  • Referenced in 2 articles [sw00289]
  • Existing libraries and languages for finite domain constraint...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...