TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
"Kester, Rush W." <[log in to unmask]>
Reply To:
Kester, Rush W.
Thu, 6 Apr 2000 15:47:07 -0400
text/plain (57 lines)
If DII COE's concern is that "compilers may inadvertently bypass intended
Java security
features."  This concern should apply equally to Java source to byte code
compilers and Ada to Java byte code compilers.  It would seem more
appropriate that a security validation procedure be used to verify that the
compiler and targetted Java Virtual Machine implementations do what they are
suppose to do, independent of the source language.

My guess is that passing such a validation would be easier for Ada to Java
compilers than others since Ada is better specified and Ada products
typically better engineered. :-)

Rush Kester
Software Systems Engineer
AdaSoft at Johns Hopkins Applied Physics Lab.
email:  [log in to unmask]
phone: (240) 228-3030 (live M-F 9:30am-4:30pm, voicemail anytime)
fax:   (240) 228-6779

-----Original Message-----
From: Criley, Marc A [mailto:[log in to unmask]]
Sent: Thursday, April 06, 2000 11:56 AM
To: [log in to unmask]
Subject: Re: DII COE bars Ada -> Java compilation

I've gotten many responses to this message, some only via direct responses
to me.  I appreciate all of these, and I've been tucking them away for

I've sent an email off to DISA, to the person the I&RTS states is the person
through whom comments and recommendations should be submitted, requesting
the proper procedure for submitting changes.  I've put it in terms of a
group of software development professionals wish to submit a change, so it
won't come across as the idea of just some wild-eyed software weenie :-)

Once I get the proper direction I'll put together the recommendation and
circulate it for comment (probably not via the whole mailing list, but just
to those who'd want to comment and sign on).

One other thing, the I&RTS bars not just Ada compiling to JBC, but also C++
and "other languages", and I have a vague recollection of hearing about an
Eiffel-to-Java compiler.  If anyone is familiar with other such compilers
outputting JBC and who might be interested in signing on to trying to excise
this unwarranted restriction, it would certainly help to broaden the support
beyond the Ada camp.

Thanks again.

Marc A. Criley
Software Architect
Lockheed Martin M&DS
[log in to unmask]