From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA14633; Tue, 19 Oct 2004 11:56:34 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA14795 for ; Tue, 19 Oct 2004 11:56:33 +0200 (MET DST) Received: from [128.93.8.158] (macaque.inria.fr [128.93.8.158]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i9J9uMHP024672; Tue, 19 Oct 2004 11:56:22 +0200 Mime-Version: 1.0 (Apple Message framework v619) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <2314B79D-21B5-11D9-9027-00039310CAE8@inria.fr> Content-Transfer-Encoding: 7bit Cc: foc From: Damien Doligez Subject: [Caml-list] announce: Focal version 0.2beta Date: Tue, 19 Oct 2004 11:56:24 +0200 To: caml users X-Mailer: Apple Mail (2.619) X-Miltered: at nez-perce with ID 4174E4C6.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; damien:01 damien:01 developped:01 dependencies:01 prover:01 compiler:01 compiler:01 caml:01 doligez:01 doligez:01 emacs:01 coq:02 theorem:02 module:03 library:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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