Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] announce: Focal version 0.2beta
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Damien Doligez <damien.doligez@i...>
Subject: [Caml-list] announce: Focal version 0.2beta
We are pleased to announce the release of Focal version 0.2beta.

Focal (formerly known as FoC) is a language for software-proof codesign.

In Focal, code, specifications, and proofs are developped together
in the same source files, using a novel object-oriented module system.
The compiler analyses the dependencies in order to ensure the
consistency of the source, then translates the code to Objective Caml,
and the proofs to Coq.

This is a beta release: there may be some bugs, and the documentation
needs (lots of) work.

This release contains the source code of the following:
- the focal compiler (focc)
- a library of Computer Algebra algorithms
- an automatic theorem prover (zenon)
- a documentation tool (focdoc)
- an emacs mode, etc.

It is available at < >.

-- the Focal team

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: