• Oz

  • Referenced in 113 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 26 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...
  • 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 7 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...
  • 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...
  • Coq

  • Referenced in 1764 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 2802 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Gmsh

  • Referenced in 556 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • Isabelle

  • Referenced in 605 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1607 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...