• Esterel

  • Referenced in 166 articles [sw20012]
  • programming language, dedicated to programming reactive systems, and a compiler which translates Esterel programs into ... synchronous languages, like SyncCharts, Lustre, Argos or Signal, which are particularly well-suited to programming...
  • Ada95

  • Referenced in 294 articles [sw01753]
  • computer programming language, extended from Pascal and other languages. It has built-in language support ... explicit concurrency, offering tasks, synchronous message passing, protected objects, and non-determinism ... supersede the hundreds of programming languages then used by the DoD. Ada was named after...
  • BETA

  • Referenced in 29 articles [sw03114]
  • Synchronization abstraction in the BETA programming language. This paper argues that synchronization of processes need ... part of the core of a programming language, but that they can just as well ... 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]
  • programming. LUSTRE is a synchronous data-flow language for programming systems which interact with their...
  • 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...
  • Oz

  • Referenced in 117 articles [sw06799]
  • high-level programming language combining constraint inference with concurrency. Typical application areas of Oz include ... 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 ... feature constraints and has powerful primitives for programming constraint inference engines at a high level...
  • Quartz

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

  • Referenced in 27 articles [sw02065]
  • language. It extends OCaml with support for concurrency and synchronization, the distributed execution of programs...
  • CoArray

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

  • Referenced in 52 articles [sw02915]
  • decomposing them into elementar synchronous processes. Separate compilation in reactive languages is however made ... data-types describe the invariants of program modules in functional languages, temporal and data-flow ... languages, typing is the medium allowing the separate compilation of functions in a program ... module system for the synchronous language SIGNAL...
  • GHC

  • Referenced in 43 articles [sw23765]
  • simplicity compared with the other parallel programming languages. GHC is a restriction of a resolution ... 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...
  • BSGP

  • Referenced in 5 articles [sw08995]
  • BSGP: bulk-synchronous GPU programming. We present BSGP, a new programming language for general purpose...
  • CC-Pi

  • Referenced in 30 articles [sw15033]
  • language combines two basic programming paradigms: name-passing calculi and concurrent constraint programming (cc programming ... Specifically, we extend cc programming by adding synchronous communication and by providing a treatment...
  • ULM

  • Referenced in 10 articles [sw08978]
  • design the language, we use ideas and programming constructs from the synchronous programming style, that...
  • KOOL

  • Referenced in 7 articles [sw32263]
  • addition of synchronized methods. KOOL also provides support for program analysis through language extensions...
  • Zelus

  • Referenced in 4 articles [sw20166]
  • Zélus: a synchronous language with ODEs. Zélus is a new programming language for modeling systems ... synchronous language with Ordinary Differential Equations (ODEs). The extension is conservative: any synchronous program expressed ... into a small synchronous subset which is processed by a standard synchronous compiler architecture ... Simulink/Stateflow on top of an existing synchronous language, using it both as a semantic basis...
  • PSync

  • Referenced in 5 articles [sw17450]
  • 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...
  • JR

  • Referenced in 1 article [sw24312]
  • those in the SR (Synchronizing Resources) programming language. It is suitable for writing programs...
  • ac2lus

  • Referenced in 2 articles [sw17953]
  • Real-Time Calculus through the Synchronous Language Lustre. We present an approach to connect ... method to the syn- chronous data-flow language Lustre, and its associ- ated tool-chain ... system to be analyzed as general Lustre programs with inputs specified by arrival curves ... Lustre, a real programming language, and the synchronous hypothesis make the task easier to write...
  • Gopherlyzer

  • Referenced in 2 articles [sw23206]
  • programs in the Go programming language which make use of synchronous channel communications ... operator capture the communication behavior of a program. Starting from a simple criterion that characterizes...