comp.lang.ada
 help / color / mirror / Atom feed
From: Vinzent 'Gadget' Hoefler <nntp-2004-04@t-domaingrabbing.de>
Subject: Re: "Ravenscar-like" profile for C/C++
Date: Mon, 26 Apr 2004 13:08:53 +0200
Date: 2004-04-26T13:08:53+02:00	[thread overview]
Message-ID: <rcrp80pj2cmirudlfllkmja5tedecp88bl@jellix.jlfencey.com> (raw)
In-Reply-To: fcaee77e.0404260306.64acbe9@posting.google.com

Michiel Salters wrote:

> Certainly, in C++ it is easy to
>create a verifiable subset.

Not quite true. Or maybe the FIASCO project just did not find it yet?


Vinzent.
-- 
Parents strongly cautioned  --  this  posting  is  intended for mature
audiences  over  18.  It  may  contain some material that many parents
would not find suitable for children and may include intense violence,
sexual situations, coarse language and suggestive dialogue.



  reply	other threads:[~2004-04-26 11:08 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-04-25 13:23 "Ravenscar-like" profile for C/C++ Marc Le Roy
2004-04-25 19:43 ` Marc Le Roy
2004-04-25 20:30 ` Jack Klein
     [not found] ` <c6gked$1ha4$1@ulysses.noc.ntua.gr>
2004-04-25 20:31   ` Jack Klein
2004-04-26  1:14     ` Ioannis Vranos
2004-04-26  5:48       ` Martin Krischik
2004-04-26 11:06         ` Michiel Salters
2004-04-26 11:08           ` Vinzent 'Gadget' Hoefler [this message]
2004-04-26 11:13             ` Vinzent 'Gadget' Hoefler
     [not found]             ` <fcaee77e.0405050140.6d3a5b7b@posting.google.com>
     [not found]               ` <p8ih90tob4d617h6tjev9d0jmj20h716lu@jellix.jlfencey.com>
2004-05-05 17:44                 ` Martin Dowie
2004-05-06 17:22                   ` Peter Amey
2004-05-06 21:06                     ` Martin Dowie
2004-05-15  2:27                     ` Alexander Kopilovitch
     [not found] ` <c6gkip$1hhv$1@ulysses.noc.ntua.gr>
     [not found]   ` <408c0ce4$0$15674$626a14ce@news.free.fr>
2004-04-25 20:37     ` Jack Klein
2004-04-26  5:40       ` Martin Krischik
2004-05-05  6:22       ` Craig Carey
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox