[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference turris::languages

Title:Languages
Notice:Speaking In Tongues
Moderator:TLE::TOKLAS::FELDMAN
Created:Sat Jan 25 1986
Last Modified:Wed May 21 1997
Last Successful Update:Fri Jun 06 1997
Number of topics:394
Total number of notes:2683

34.0. "Validated Ada compilers" by ORPHAN::BRETT () Wed Oct 03 1984 17:41

From:	ORPHAN::BRENDER      "Ron DTN 381-2088"  3-OCT-1984 16:38
To:	@ADAX
Subj:	The word at ECLB is...

From:	MONTY::MARKET::BRENDER  3-OCT-1984 16:20
To:	ORPHAN::BRENDER
Subj:	VALIDATED-COMPILERS.HLP from ECLB::<ADA-INFO>

 
 
 
                  DoD Validated Compilers (l983)  
 
 
	l.	New York University, Courant Institute
		NAME:  NYU Ada/ED version l9.7
		HOST and TARGET MACHINE:  DEC VAX ll/780
		HOST and TARGET OPERATING SYSTEM:  VAX VMS 3.l
		DATE VALIDATED:  April ll, l983
		STATUS: Re-Validated August 6, 1984
 
 
	2.	ROLM Corporation/Data General Corporation
		NAME:  ROLM Ada Compiler version 4.52
		HOST and TARGET MACHINES: Data General MV4000, MV6000
						 MV8000, MV8000-II, MV10000,
						 ROLM MSE-800
		HOST and TARGET OPERATING SYSTEM:  AOS/VS-Ada 2.03
		DATE VALIDATED:  June l3, l983
		STATUS: Re-Validated May 2l,l984
 
 
	3.	Gensoft Corporation (formerly Systems Technology
		Center, Western Digital Corporation)
 
		NAME:  STC-Ada version Cl.0m
		HOST and TARGET MACHINE:  Western Digital WDl600 Series
							 MicroEngine
		HOST and TARGET OPERATING SYSTEM:  STC Ada Operating
							 System 2.9
		DATE VALIDATED:  August 9, l983
		STATUS:  Expired - no plans to re-validate
 
 
                 DoD Re-Validated Compilers (l984)
 
 
	1.	ROLM Corporation/Data General Corporation
		NAME:  ROLM Ada Compiler version 5.234
		HOST and TARGET MACHINES: Data General MV4000, MV6000
						 MV8000, MV8000-II, MV10000,
						 ROLM MSE-800
		HOST and TARGET OPERATING SYSTEM:  AOS/VS-Ada 3.l2
		DATE VALIDATED:  May 2l,l984
		ACVC Version: l.3
 
	2.      New York University - Courant Institute of Mathematics
                NYU Ada/Ed Interpreter version 1.4
		HOST and TARGET MACHINES: DEC VAX 11/780
                HOST and TARGET Operating System: VAX VMS 3.5
		DATE RE-VALIDATED:  August 6, 1984
		ACVC Version:  1.4
 
                     DoD Vaildated Compilers (l984) 
 
	l.	Telesoft, Inc.
		NAME:  Telesoft Compiler Version 2.0al
		HOST and TARGET MACHINE:  O-Bus Motorolla 68000
		HOST and TARGET OPERATING SYSTEM:  ROS 
		DATE VALIDATED:  May 2l, l984
		ACVC Version: l.3
 
		HOST and TARGET MACHINE:  LabTEK Motorolla 68000	
		HOST and TARGET OPERATING SYSTEM: ROS 
		DATE VALIDATED:  May 2l, l984
		ACVC Version: l.3
 
	2.	Digital Equipment Corporation
		NAME:  VAX-ADA Compiler
		HOST and TARGET MACHINES:  VAX 11/785, VAX 11/782,
					   VAX 11/780, VAX 11/750,
					   VAX 11/730, MicroVAX I
		HOST and TARGET OPERATING SYSTEMS:  VAX VMS version 4.0
						    Micro VMS version 1.0
		DATE VALIDATED:  September 17, 1984
		ACVC Version:  1.4
 
 
 
 
 
 
 
 
   --------
T.RTitleUserPersonal
Name
DateLines
34.1SAUTER::SAUTERThu Oct 04 1984 09:152
Why is it that in all but the Digital entry they misuse "l" to mean "1"?
    John Sauter
34.2GLORY::HULLThu Oct 11 1984 18:570
34.3ROYCE::ATTWOOLFri Oct 12 1984 04:584
	RE:.2

	Pardon ???

34.4LATOUR::AMARTINFri Oct 12 1984 15:438
I'm sending information I got in the mail a day or two ago about an Ada
from Verdix Corp. to Bevin.  (They used an ACM address list, so maybe he
will get the info directly).

The Ada isn't validated yet, and they can't supply the code generator,
but you can upgrade to a compiler that generates code later on, and if
you sign a license before they validate, you get 25% off.
				/AHM
34.5ORPHAN::BRETTFri Oct 12 1984 19:244
The Verdix stuff was interesting - they are targetting Ultrix, amongst others..

/Bevin
34.6ANIARA::WESTBECKThu Oct 18 1984 13:0323
I have just got nice printed information from TeleLOGIC, a company
related to swedish PTT that says:

TeleSoft-Ada for VAX/Unix Systems

o TeleSoft-Ada compilations may be hosted and targeted under Unix.

o Full integrated with the Unix file system.

o TeleSoft-Ada programs may make Unix system calls

o Tools are available for crosscompiling Ada programs for the MC68000
  to be executed from ROM (not under Unix) under Tele-Soft's 
  Run-time System

o Complete Documentation and support are available

..

...

I understand that TeleLOGIC, Sweden is doing the codegenerator for
generating code
34.7ORPHAN::BRETTThu Oct 25 1984 20:0331
From:   ORPHAN::MITCHELL     "Charlie Mitchell" 25-OCT-1984 16:38
To:     @ADAP
Subj:   fyi - we took 8 cpu hours to run 1.4 C tests on a 780

From:   EIFFEL::CLINKENBEARD 25-OCT-1984 16:14
To:     MITCHELL,LESLIE
Subj:   Softech Ada

Bob and I had lunch today with Dennis Turner and Jim Schell from CENTACS
at Ft. Monmouth, and with some GSG people.  Jim and Dennis are monitoring
and/or funding the Softech Ada effort.  ###########################
###################################################################
###################################################################
############ CENSORED TO PROTECT THE INNOCENT #####################
###################################################################
#######################################################

Dennis told me that Softech plans to pre-validate in a couple of weeks
and wants to validate in the VMS KAPSE environment in November before
ACVS 1.5 becomes effective.  He said they are having trouble reaching
their 400 lpm compile speed goal.  He also mentioned that it took them
200 CPU hours on a 780 to run the 1.4 C tests.

He asked a number of questions about resource requirements, support for
optional features, library implementation, optimization, etc.  At the
end he made the comment that he had expected to hear that DEC was missing
something major and was surprised at the completeness of the implementation.
He said it was likely that the army would buy a lot of VAX ADA compilers
before the ALS reached a sufficient level for production use.

Joel