From: Jean-Pierre Rosen <rosen@adalog.fr>
Subject: Re: Writing an Operating System in Ada
Date: Thu, 14 Jan 2010 10:12:25 +0100
Date: 2010-01-14T10:12:25+01:00 [thread overview]
Message-ID: <t5nmih.832.ln@hunter.axlog.fr> (raw)
In-Reply-To: <hijf5j$pql$1@news.albasani.net>
Leslie a écrit :
> As a side note, does anyone here remember the Intel iAPX432
> processor, designed to execute Ada programs (almost) directly?
>
Yes I do. IIRC, the project failed because they completely missed the
point. The processor was intended to be able to check the types of data
at run-time, something that the compiler had already done. In a sense,
it would have been a marvelous processor for any language but Ada -
bringing Ada's type safety to other languages.
There was a team who developped an Ada compiler for the iAPX432. When
the project was disbanded, they were so frustrated that they decided to
move their compiler to other targets and market it. The company was
called Verdix...
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
next prev parent reply other threads:[~2010-01-14 9:12 UTC|newest]
Thread overview: 67+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-01-12 1:13 Writing an Operating System in Ada Shark8
2010-01-12 3:30 ` Leslie
2010-01-12 7:06 ` Shark8
2010-01-12 8:36 ` Ludovic Brenta
2010-01-12 15:14 ` jonathan
2010-01-12 16:21 ` Colin Paul Gloster
2010-01-12 16:36 ` Shark8
2010-01-12 17:03 ` Colin Paul Gloster
2010-01-12 19:07 ` Tero Koskinen
2010-01-12 9:41 ` Dmitry A. Kazakov
2010-01-12 17:37 ` Shark8
2010-01-12 19:56 ` Dmitry A. Kazakov
2010-01-12 21:21 ` Shark8
2010-01-12 22:39 ` nobody
2010-01-12 22:50 ` Shark8
2010-01-15 22:45 ` nobody
2010-01-19 21:09 ` Shark8
2010-01-12 21:52 ` Maciej Sobczak
2010-01-12 23:26 ` Shark8
2010-01-13 9:17 ` Dmitry A. Kazakov
2010-01-13 20:20 ` Shark8
2010-01-13 20:55 ` Dmitry A. Kazakov
2010-01-13 22:50 ` Shark8
2010-01-14 8:55 ` Dmitry A. Kazakov
2010-01-14 18:01 ` Shark8
2010-01-14 19:04 ` tmoran
2010-01-19 19:07 ` Shark8
2010-01-14 19:53 ` Dmitry A. Kazakov
2010-01-14 21:07 ` Shark8
2010-01-14 21:50 ` Dmitry A. Kazakov
2010-01-15 1:24 ` Randy Brukardt
2010-01-15 8:59 ` Dmitry A. Kazakov
2010-01-19 18:58 ` Shark8
2010-01-19 19:43 ` Dmitry A. Kazakov
2010-01-14 9:40 ` Maciej Sobczak
2010-01-14 10:28 ` Dmitry A. Kazakov
2010-01-14 18:57 ` tmoran
2010-01-14 19:19 ` Dmitry A. Kazakov
2010-01-14 20:33 ` Georg Bauhaus
2010-01-14 21:09 ` Dmitry A. Kazakov
2010-01-14 21:50 ` Maciej Sobczak
2010-01-15 8:37 ` Dmitry A. Kazakov
2010-01-15 21:05 ` Maciej Sobczak
2010-01-15 21:48 ` Dmitry A. Kazakov
2010-01-16 21:18 ` Maciej Sobczak
2010-01-16 22:15 ` Dmitry A. Kazakov
2010-01-18 11:23 ` Georg Bauhaus
2010-01-18 13:50 ` Dmitry A. Kazakov
2010-01-18 15:21 ` Georg Bauhaus
2010-01-18 16:41 ` Dmitry A. Kazakov
2010-01-18 17:17 ` Georg Bauhaus
2010-01-18 18:08 ` Dmitry A. Kazakov
2010-01-19 17:41 ` Writing an Operating System in Ada - now off topic? Leslie
2010-01-13 9:09 ` Writing an Operating System in Ada Georg Bauhaus
2010-01-13 9:27 ` Dmitry A. Kazakov
2010-01-13 3:38 ` Leslie
2010-01-13 12:10 ` Martin
2010-01-13 18:55 ` Ad Buijsen
2010-01-14 9:12 ` Jean-Pierre Rosen [this message]
2010-01-14 10:45 ` Dmitry A. Kazakov
2010-01-14 11:31 ` Jean-Pierre Rosen
2010-01-14 13:47 ` Dmitry A. Kazakov
2010-01-14 18:57 ` tmoran
2010-01-13 4:49 ` Hibou57 (Yannick Duchêne)
2010-01-13 17:29 ` Lucretia
2010-01-13 20:37 ` Shark8
2010-01-16 0:13 ` Lucretia
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox