From: Damien Doligez <damien.doligez@inria.fr>
To: caml users <caml-list@inria.fr>
Cc: foc <foc@calfor.lip6.fr>
Subject: [Caml-list] announce: Focal version 0.2beta
Date: Tue, 19 Oct 2004 11:56:24 +0200 [thread overview]
Message-ID: <2314B79D-21B5-11D9-9027-00039310CAE8@inria.fr> (raw)
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 < http://modulogic.inria.fr/focal/download/ >.
-- the Focal team
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next reply other threads:[~2004-10-19 9:56 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-10-19 9:56 Damien Doligez [this message]
2004-10-19 19:23 ` David MENTRE
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=2314B79D-21B5-11D9-9027-00039310CAE8@inria.fr \
--to=damien.doligez@inria.fr \
--cc=caml-list@inria.fr \
--cc=foc@calfor.lip6.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox