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.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.ARPA Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!jpl-vlsi.arpa!larry%vlsidc From: larry%vlsidc@JPL-VLSI.ARPA Newsgroups: net.lang.ada Subject: Validation list, Ada for the Space Station, IBM Message-ID: <8510170746.AA09915@UCB-VAX> Date: Thu, 17-Oct-85 03:16:41 EDT Article-I.D.: UCB-VAX.8510170746.AA09915 Posted: Thu Oct 17 03:16:41 1985 Date-Received: Fri, 18-Oct-85 01:19:16 EDT Sender: daemon@ucbvax.ARPA Organization: The ARPA Internet List-Id: Isn't the VALIDATED-COMPILERS.HLP file out of date? Seems to me that SofTech just validated their optimized ALS compiler. And I got a notice in the mail a couple of weeks ago from Flexible Computer Corp that they now offer an Ada compiler for their Flex/32 computer. (The Flex/32 sounds perfect for Ada: it's an NS32032-based multicomputer system that incorporates both distributed and multiprocessor parallelism.) By the way, it's now official that Ada will be the software-development language for the Space Station. What hasn't been determined is what other languages will be used, and for what. That will be hashed out over the next year or two, partly as a result of some 55 research projects under way close to or connected with Houston's Johnson Space Center. Whatever else is used, however, Ada is to be considered first; a waiver will probably be required for any non-Ada use. Also interesting is a declaration made by IBM as part of a report recommending Ada as the primary language. They have "two large Ada projects" and will be giving Ada "substantial" support in the future. Typically, that's all they would say. Not that this is much of a surprise, considering the number of IBM people in the Ada movement (Jean Sammett and Gerry Fisher come immediately to mind), but it's the first official written word I've seen on the subject from IBM. Larry @ jpl-vlsi