From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.ams3.giganews.com!border2.nntp.ams3.giganews.com!border2.nntp.ams2.giganews.com!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!nntp.giganews.com!feeder.erje.net!eu.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Newsgroups: comp.lang.ada
Subject: Ada 2012 talk at DANSAS'13
Date: Thu, 15 Aug 2013 10:39:59 +0200
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <87mwojxs80.fsf@adaheads.sparre-andersen.dk>
NNTP-Posting-Host: monowall.adaheads.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: loke.gir.dk 1376557474 18209 86.48.41.195 (15 Aug 2013 09:04:34 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 15 Aug 2013 09:04:34 +0000 (UTC)
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock: sha1:GiK1yJF2ndnkrxQm297mr5GhIpQ=
X-Original-Bytes: 2455
Xref: number.nntp.dca.giganews.com comp.lang.ada:183032
Date: 2013-08-15T10:39:59+02:00
List-Id: <comp.lang.ada>

I've gotten a talk on Ada 2012 accepted for the Danish Static Analysis
Symposium (DANSAS'13) Friday August 23rd in Odense.  The title and
abstract are:

   Contract-based Programming with Ada 2012 - an experience report

   The 2012 version of the Ada programming language standard includes
   checked "contracts" and "aspects" for subprograms and types.  Some of
   these are by definition checked at compile-time, while other checks
   can be postponed to run-time, if a static analysis is unfeasible (or
   just not implemented).

   At AdaHeads, we are currently developing a hosted telephone reception
   system, where the core component is written in Ada 2012.  We picked
   Ada 2012 specifically to be able to use the contracts and aspects to
   increase our confidence that the software is correct.

   Our experience so far is that GNAT-GPL-2013 (the only generally
   available Ada 2012 compiler) only implements static (compile-time)
   checking of contracts and aspects where it is required by the
   language standard.  This means that for now, the big static analysis
   benefits of using Ada are related to the basic type system, which
   also existed in earlier versions of the standard, and the major
   benefit of switching to Ada 2012 at the moment is in the improved
   run-time checks.

General information on DANSAS'13 can be found at:

   http://dansas.sdu.dk/2013/

Greetings,

Jacob
-- 
PNG: Pretty Nice Graphics