• Esterel

  • Referenced in 166 articles [sw20012]
  • Esterel is both a programming language, dedicated to programming reactive systems, and a compiler which ... family of synchronous languages, like SyncCharts, Lustre, Argos or Signal, which are particularly well-suited...
  • PPL

  • Referenced in 104 articles [sw05357]
  • applications span imperative, functional and logic languages, synchronous languages and synchronization protocols, real-time...
  • SIGNAL

  • Referenced in 52 articles [sw02915]
  • like module system for the synchronous language SIGNAL. Synchronous languages, such as SIGNAL, are best ... design of dependable real-time systems. Synchronous languages enable a very high-level specification ... decomposing them into elementar synchronous processes. Separate compilation in reactive languages is however made ... module system for the synchronous language SIGNAL...
  • Ada95

  • Referenced in 294 articles [sw01753]
  • built-in language support for explicit concurrency, offering tasks, synchronous message passing, protected objects ... supersede the hundreds of programming languages then used by the DoD. Ada was named after...
  • SMIL

  • Referenced in 41 articles [sw03378]
  • third version of the Synchronized Multimedia Integration Language (SMIL, pronounced ”smile”). SMIL ... based languages, in particular those who need to represent timing and synchronization. For example, SMIL...
  • BETA

  • Referenced in 29 articles [sw03114]
  • BETA programming language. This paper argues that synchronization of processes need not be part ... core of a programming language, but that they can just as well be built from ... While discussing the use of patterns of synchronization and their implementation in BETA, we focus ... applied to other modern object-based programming languages, such as Java...
  • LUSTRE

  • Referenced in 38 articles [sw08938]
  • time programming. LUSTRE is a synchronous data-flow language for programming systems which interact with...
  • ABS

  • Referenced in 31 articles [sw21211]
  • object-oriented systems. The language combines advanced concurrency and synchronization mechanisms for concurrent object groups...
  • Oz

  • Referenced in 117 articles [sw06799]
  • reasoning and knowledge representation, processing of natural language, simulations, multi agent systems, and sophisticated graphical ... procedures, classes, objects, exceptions and sequential threads synchronizing over a constraint store. It supports finite...
  • ASTREE

  • Referenced in 115 articles [sw13704]
  • programs written in the C programming language. It has been applied with success to large ... critical real-time software generated automatically from synchronous specifications, producing a correctness proof for complex...
  • GHC

  • Referenced in 43 articles [sw23765]
  • general-purpose language and it also provides GHC with a synchronization primitive. The latter ... classified into the family of logic programming languages, it has close relationship to other formalisms...
  • Zelus

  • Referenced in 4 articles [sw20166]
  • Zélus: a synchronous language with ODEs. Zélus is a new programming language for modeling systems ... extend an existing Lustre-like synchronous language with Ordinary Differential Equations (ODEs). The extension ... Simulink/Stateflow on top of an existing synchronous language, using it both as a semantic basis...
  • Quartz

  • Referenced in 8 articles [sw09891]
  • synchronous programming language Quartz...
  • PSync

  • Referenced in 5 articles [sw17450]
  • PSync: a partially synchronous language for fault-tolerant distributed algorithms. Fault-tolerant distributed algorithms play ... language based on the Heard-Of model, which views asynchronous faulty systems as synchronous ones ... Scala programming language with a runtime system for partially synchronous networks. We show the applicability ... algorithms in PSync against implementations in other languages in terms of code size, runtime efficiency...
  • SyncGen

  • Referenced in 7 articles [sw01988]
  • from formal high-level specifications. In SyncGen, synchronization specifications are phrased using first-order logic ... From a high-level specification, a language independent synchronization solution in an intermediate guarded-command...
  • JoCaml

  • Referenced in 27 articles [sw02065]
  • Objective Caml language. It extends OCaml with support for concurrency and synchronization, the distributed execution...
  • COWS

  • Referenced in 51 articles [sw06955]
  • BPEL, the de facto standard language for orchestration of web services. COWS combines ... known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection, delimited receiving and killing ... encoding other process and orchestration languages...
  • TimeSquare

  • Referenced in 4 articles [sw15830]
  • specification language, the Clock Constraint Specification Language (ccsl). Both MARTE and ccsl heavily rely ... distributed systems and synchronous languages. Logical Time provides a relaxed form of time that...
  • CoArray

  • Referenced in 32 articles [sw04083]
  • language itself, making programs vastly more readable than subroutine calls to parallel libraries. Synchronization primitives...
  • HyDI

  • Referenced in 3 articles [sw11912]
  • language SMV with timing and synchronization aspects. The language distinguishes between discrete and continuous variables ... explicit events to synchronize. The new language is automatically compiled into equivalent discrete-time infinite...