• Yampa

  • Referenced in 10 articles [sw13681]
  • time) systems using the concepts of Functional Reactive Programming (FRP). Yampa is structured using Arrows...
  • SIGNAL

  • Referenced in 51 articles [sw02915]
  • enable separate compilation of the functional components of reactive systems while preserving their global integrity ... types describe the invariants of program modules in functional languages, temporal and data-flow invariants ... allowing the separate compilation of functions in a program. In SIGNAL, the notion of conditional ... similarly be used for separately compiling reactive processes and for assembling them in complex systems...
  • Hazelnut

  • Referenced in 2 articles [sw22659]
  • need to contend with malformed program text.par This paper introduces Hazelnut, a structure editor based ... implementation as an event-based functional reactive program. Our simple reference implementation is written using...
  • Lula

  • Referenced in 1 article [sw11405]
  • from a number of disciplines in advanced programming. It is written in Scheme and runs ... just three combinators. It employs Functional Reactive Programming for all dynamic aspects of lighting ... programmable via a functional reactive domain-specific language. Lula is an actual product ... neither interest in nor knowledge of functional programming...
  • Nettle

  • Referenced in 1 article [sw25231]
  • called Nettle, embedded in Haskell, that allows programming OpenFlow networks in an elegant, declarative style ... based on the principles of functional reactive programming (FRP), and as such has both continuous...
  • Reactive-banana

  • Referenced in 1 article [sw20017]
  • Reactive-banana is a library for Functional Reactive Programming (FRP). FRP offers an elegant...
  • Procera

  • Referenced in 1 article [sw14370]
  • Procera: A language for high-level reactive network control. Our previous experience building systems ... configurable interface and instead require operators to program in the system implementation language, often ... language based on the notion of functional reactive programming; we extend this formalism with both...
  • FRPNow

  • Referenced in 1 article [sw20016]
  • present a new interface for practical Functional Reactive Programming (FRP) that (1) is close ... logical relations) for reasoning about which FRP functions may “forget their past”, i.e. which functions...
  • OCamlJS

  • Referenced in 1 article [sw11605]
  • over HTTP, and froc for functional reactive browser programming. The full OCaml language and much...
  • MRST-AD

  • Referenced in 17 articles [sw25330]
  • article outlines the design principles and programming techniques used and explains in detail the implementation ... flooding, thermal and reactive effects, and immediately benefit from existing functionality such as constrained-pressure ... mathematical objects and continue to develop a program while it runs; (ii) a flexible grid...
  • FranTk

  • Referenced in 6 articles [sw13065]
  • programming Graphical User Interfaces (GUIs) in Haskell. It is based on Fran (Functional Reactive Animation...
  • ADF

  • Referenced in 5 articles [sw19393]
  • program Amsterdam Density Functional (ADF) is particularly strong in understanding and predicting structure, reactivity...
  • Eliom

  • Referenced in 2 articles [sw18268]
  • program. It implements a powerful session mechanism and makes it possible to write functional reactive...
  • Fran

  • Referenced in 10 articles [sw21482]
  • collection of data types and functions for composing richly interactive, multimedia animations. The key ideas ... behaviors and events. Behaviors are time-varying, reactive values, while events are sets of arbitrarily ... captured as data types rather than a programming language, we provide them with a denotational...
  • Frenetic

  • Referenced in 4 articles [sw16270]
  • presents Frenetic, a high-level language for programming distributed collections of network switches. Frenetic provides ... network traffic as well as a functional reactive combinator library for describing high-level packet ... state-of-the art in languages for programming networks and identify the key limitations...
  • JWL++

  • Referenced in 3 articles [sw01435]
  • package for detonation. JWL++ is a simple Reactive Flow model that includes time-dependent reaction ... rate, and also using either an analytic function or a pressure equilibrator. The model reproduces ... without the need for pre-run program burn calculations. It is slower than a JWL/program...
  • LEHGC

  • Referenced in 1 article [sw07856]
  • LEHGC is designed for generic application to reactive transport problems associated with such systems ... transport in subsurface media. Input to the program includes the geometry of the system ... distribution of chemical element concentrations as a function of time and space and the chemical...
  • OpenSMOKE++

  • Referenced in 1 article [sw22162]
  • oriented framework for the numerical modeling of reactive systems with detailed kinetic mechanisms. OpenSMOKE ... having to modify the core functionality of the program. The OpenSMOKE++ framework can handle simulations...
  • FIDAP

  • Referenced in 35 articles [sw00006]
  • FIDAP (A Fluid Dynamics Analysis Program). This paper...
  • ACL2

  • Referenced in 273 articles [sw00060]
  • ACL2 is both a programming language in which...