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=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,6e045a5e739e2c80
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Received: by 10.68.136.40 with SMTP id px8mr498441pbb.1.1330046071380;
        Thu, 23 Feb 2012 17:14:31 -0800 (PST)
Path: 
 h9ni1903pbe.0!nntp.google.com!news1.google.com!news2.google.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Thu, 23 Feb 2012 19:14:29 -0600
Date: Thu, 23 Feb 2012 20:14:17 -0500
From: "Peter C. Chapin" <PChapin@vtc.vsc.edu>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64;
 rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Fun with =?UTF-8?B?SGlzdG9yeTrCoOKAnFdoeSB3YXNuJ3QgQWRhODMgbw==?=
 =?UTF-8?B?YmplY3Qgb3JpZW50ZWQ/4oCd?=
References: <op.v9t2jgpmule2fv@douda-yannick>
 <15362655.665.1330003793505.JavaMail.geo-discussion-forums@pbbox6>
 <m21uplldrh.fsf@pushface.org> <op.v9447jepule2fv@douda-yannick>
In-Reply-To: <op.v9447jepule2fv@douda-yannick>
Message-ID: <i_ydnYrkZI_qedvSRVn_vwA@giganews.com>
X-Usenet-Provider: http://www.giganews.com
X-Trace: 
 sv3-vSQLpr1EFsZ3dVXmCLxzKVVN6R8Z5e2LH79pLt21SdweIb4nARELZL0Qa/+Pb3j3Dlq0el/TN1deuiO!OJmgUL6GASSBLY8aQcp4kILnGgMu8B+JabNcAOj62Emd02fHiNFAG+tE3fcTDmo=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2383
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Date: 2012-02-23T20:14:17-05:00
List-Id: <comp.lang.ada>

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/