“…BACKGROUND: OCaml is a functional programming language with strong static types, Hindley–Milner type inference and garbage collection. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…This monograph teaches the reader how to write typed code generators, how to make them modular, and how to gradually introduce domain-specific optimizations with MetaOCaml.…”
Enlace del recurso

“…ReasonML, also known as Reason, is a new syntax and toolchain for OCaml that was created by Facebook and is meant to be approachable for web developers. …”
Enlace del recurso

“…A rich history of functional languages, including Erlang and OCaml, leads the way to F#, Microsoft's effort to bring the elegance and focus of functional programming into the world of managed code and .NET. …”
Enlace del recurso

“…MirageOS is a collection of OCaml libraries, currently around 150, of which nearly all MirageOS libraries and tooling is released under MIT/ISC/BSD 2 clause licenses, and freely available.…”
Enlace del recurso

“…The extracted implementation in OCaml can be directly integrated into the production environment and tested against the standard test suite. …”
Enlace del recurso
Enlace del recurso

“…We accompany [Formula: see text] with examples of runners in action, provide a prototype language implementation in OCaml, as well as a Haskell library based on [Formula: see text] .…”
Enlace del recurso
Enlace del recurso

“…Imandra’s logic is computational, based on a pure subset of OCaml in which all functions are terminating, with restrictions on types and higher-order functions that allow conjectures to be translated into multi-sorted first-order logic with theories, including arithmetic and datatypes. …”
Enlace del recurso
Enlace del recurso

“…Our computational workflow combines (1) the importation of a GINsim model and its display, (2) its format conversion using the Java library BioLQM, (3) the formal prediction of mutations using the OCaml software Pint, (4) the model checking using the C++ software NuSMV, (5) quantitative stochastic simulations using the C++ software MaBoSS, and (6) the visualization of results using the Python library matplotlib. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…As a main consequence, we show decidability of safety, termination and boundedness verification for higher-order asynchronous programs—such as OCaml programs using Lwt—and undecidability of liveness verification already for order-2 asynchronous programs. …”
Enlace del recurso
Enlace del recurso

“…AVAILABILITY AND IMPLEMENTATION: CAARS is implemented in Python and Ocaml and is freely available at https://github.com/carinerey/caars. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…We refined our verified impact analysis for performance, extracted it to efficient executable OCaml code, and integrated it with a regression test selection tool, one regression proof selection tool, and one build system, replacing their existing impact analyses. …”
Enlace del recurso
Enlace del recurso