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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 101deb,f96f757d5586710a X-Google-Attributes: gid101deb,public X-Google-Thread: f43e6,5ac12f5a60b1bfe X-Google-Attributes: gidf43e6,public X-Google-Thread: 103376,5ac12f5a60b1bfe X-Google-Attributes: gid103376,public From: stt@henning.camb.inmet.com (Tucker Taft) Subject: Re: Ariane 5 - not an exception? Date: 1996/08/01 Message-ID: #1/1 X-Deja-AN: 171660239 sender: news@inmet.camb.inmet.com (USENET news) x-nntp-posting-host: henning.camb.inmet.com references: followup-to: comp.software-eng,comp.lang.ada,comp.lang.pl1 organization: Intermetrics, Inc. newsgroups: comp.software-eng,comp.lang.ada,comp.lang.pl1 Date: 1996-08-01T00:00:00+00:00 List-Id: Chris Morgan (chris.morgan@baesma.co.uk) wrote: : In article : stt@henning.camb.inmet.com (Tucker Taft) writes: : [BIG SNIP] : For what it is worth, the Space Shuttle software is developed in the : language Hal/S, which was also developed by Intermetrics ;-). : So what's that like then? Please give us your thoughts on comparisons : between it and Ada95 (a newish language I think you know something of : ;-) Hal/S is also a Pascal-based language. It had prioritized multi-threading and synchronization primitives. It also had built-in support for matrix arithmetic, since this is used heavily in navigation computations. However, like Pascal, it lacked any notion of "abstract data type," so it was not particularly extensible via user-defined abstractions. It was designed about 10 years before (the first) Ada. : Chris Morgan : chris.morgan@baesema.co.uk -Tucker Taft stt@inmet.com http://www.inmet.com/~stt/ Intermetrics, Inc. Cambridge, MA USA