From: "Peter C. Chapin" <PChapin@vtc.vsc.edu>
Subject: Re: Fun with History: “Why wasn't Ada83 object oriented?”
Date: Thu, 23 Feb 2012 20:14:17 -0500
Date: 2012-02-23T20:14:17-05:00 [thread overview]
Message-ID: <i_ydnYrkZI_qedvSRVn_vwA@giganews.com> (raw)
In-Reply-To: <op.v9447jepule2fv@douda-yannick>
On 2012-02-23 11:53, Yannick Duchêne (Hibou57) wrote:
> Talking about designing in a language and implementing in another, I am
> seeking for any pointers about designing in SML and implementing in Ada.
> Not that I have any trouble with this (I know a bit what can be mapped
> and what cannot easily be), just that I feel this would be profitable to
> read about other's experiences with this.
I needed to write some security processing software in nesC, a dialect
of C used in wireless sensor networks [1]. The ultimate target had to be
nesC for compatibility with the TinyOS operating system [2]. I wrote a
draft of my program in SPARK and proved it free of run time error. I
then manually translated the SPARK to nesC. I made a couple of minor
typos during the translation, only one of which made it by the nesC
compiler. Other than that the system worked perfectly the first time.
The resulting code is atypical looking nesC but what do I care?
Peter
[1] http://nescc.sourceforge.net/
[2] http://www.tinyos.net/
next prev parent reply other threads:[~2012-02-24 1:14 UTC|newest]
Thread overview: 34+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-17 17:22 Fun with History: “Why wasn't Ada83 object oriented?” Yannick Duchêne (Hibou57)
2012-02-17 17:31 ` Yannick Duchêne (Hibou57)
2012-02-17 17:33 ` Fun with History: ³Why wasn't Ada83 object oriented?² Bill Findlay
2012-02-23 13:29 ` Fun with History: “Why wasn't Ada83 object oriented?” Marco
2012-02-23 16:23 ` Simon Wright
2012-02-23 16:53 ` Yannick Duchêne (Hibou57)
2012-02-23 18:20 ` Simon Wright
2012-02-23 20:32 ` Phil Clayton
2012-02-24 1:14 ` Peter C. Chapin [this message]
2012-02-24 21:32 ` Re=Fun_with_History why_wasnt_Ada83_object_oriented tmoran
2012-02-26 14:53 ` Marco
2012-02-26 18:02 ` J-P. Rosen
[not found] ` <u-adnbL5aqVVy9fSnZ2dnUVZ_jednZ2d@earthlink.com>
2012-02-26 18:28 ` Yannick Duchêne (Hibou57)
2012-02-26 21:45 ` Jeffrey Carter
2012-02-27 17:37 ` Adam Beneschan
2012-02-27 20:27 ` Jeffrey Carter
2012-02-26 18:33 ` tmoran
2012-02-26 16:22 ` Marco
2012-03-06 1:48 ` Randy Brukardt
2012-03-07 10:33 ` Early availability of cheap Ada compilers (Was: Re=Fun_with_History why_wasnt_Ada83_object_oriented) Jacob Sparre Andersen
2012-03-07 12:43 ` Simon Clubley
2012-03-08 1:42 ` Randy Brukardt
2012-03-08 1:38 ` Randy Brukardt
2012-03-08 12:21 ` Simon Clubley
2012-03-09 2:20 ` Randy Brukardt
2012-03-08 9:00 ` anon
2012-03-08 15:32 ` Shark8
[not found] ` <5d2664b3-566a-40a5-910b-ef3460a5f363@do4g2000vbb.googlegroups.com>
2012-02-26 22:03 ` Re=Fun_with_History why_wasnt_Ada83_object_oriented J-P. Rosen
2012-02-27 1:29 ` tmoran
2012-02-26 22:06 ` Gautier write-only
2012-02-27 2:15 ` anon
2012-02-27 4:05 ` Yannick Duchêne (Hibou57)
2012-02-27 8:41 ` Dmitry A. Kazakov
2012-03-06 1:40 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox