From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Subject: Ada 2012 talk in Cagliari tomorrow
Date: Fri, 24 Oct 2014 17:55:07 +0200
Date: 2014-10-24T17:55:07+02:00 [thread overview]
Message-ID: <878uk5wjhg.fsf@adaheads.sparre-andersen.dk> (raw)
The Linux user group in Cagliari (GULCh) has invited me to give a talk
on contract-based programming at the "Linux Day" conference tomorrow
(http://linuxday.gulch.it/2014/).
I have promised to make the talk accessible to anybody with programming
experience, but the examples and practical possibilities I will discuss
are all based on Ada 2012 (with a single SPARK 2014 exception ;-).
Everybody are welcome!
Greetings,
Jacob
--
"I'm going as a barrel of toxic waste!"
next reply other threads:[~2014-10-24 15:55 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-10-24 15:55 Jacob Sparre Andersen [this message]
2014-10-24 15:58 ` Ada 2012 talk in Cagliari tomorrow David Botton
2014-10-26 7:42 ` Jacob Sparre Andersen
2014-10-26 11:31 ` Martyn Pike
2014-10-26 17:21 ` Jacob Sparre Andersen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox