From: Helmut Brandl <helmut.brandl@gmx.net>
To: caml users <caml-list@inria.fr>
Subject: [Caml-list] ANN: New release of the Albatross compiler available via opam
Date: Wed, 17 May 2017 08:57:49 -0500 [thread overview]
Message-ID: <7745EA50-EE24-4E73-B095-4A77117B8DF5@gmx.net> (raw)
[-- Attachment #1: Type: text/plain, Size: 937 bytes --]
It is my pleasure to announce a new version of the compiler for the Albatross programming language. It is available via ‘opam install alba’ (it requires ocaml >= 4.03.0).
Alba is a language which allows static verification. In its current state it supports inductive types, recursive functions, pattern matching, inductively defined sets and relations and abstract data types. It can be used like coq to define types and functions and prove properties about them. We claim that Albatross is easier to use than coq and closer to mainstream languages so that there is no steep learning curve.
The design of the language is an ongoing activity. Any comments, hints, issue reports etc. are welcome. Its long term goal is to open software verification for the masses.
A language description can be found at https://www.gitbook.com/read/book/hbr/alba-lang-description <https://www.gitbook.com/read/book/hbr/alba-lang-description>.
[-- Attachment #2: Type: text/html, Size: 1323 bytes --]
reply other threads:[~2017-05-17 13:58 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=7745EA50-EE24-4E73-B095-4A77117B8DF5@gmx.net \
--to=helmut.brandl@gmx.net \
--cc=caml-list@inria.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;
as well as URLs for NNTP newsgroup(s).