package ott

  1. Overview
  2. Docs
Ott is a tool for writing definitions of programming languages and calculi

Install

Dune Dependency

Authors

Maintainers

Sources

ott_distro_0.21.2.tar.gz
sha256=56368ae9864876cfe3a177ec26ac3e310d00d9ea2616528dd0680580e8361092
md5=e9a5dae61b0aa5c33c3445e8e8a92b6a

Description

It takes as input a definition of a language syntax and semantics, in a concise and readable ASCII notation that is close to what one would write in informal mathematics. It generates LaTeX to build a typeset version of the definition, and Coq, HOL, and Isabelle versions of the definition. Additionally, it can be run as a filter, taking a LaTeX/Coq/Isabelle/HOL source file with embedded (symbolic) terms of the defined language, parsing them and replacing them by target-system terms.

Published: 27 Mar 2014

Dependencies (1)

  1. ocaml < "4.06.0"

Dev Dependencies

None

Used by (1)

  1. asli

Conflicts (1)

  1. pprint >= "20220103"
OCaml

Innovation. Community. Security.