Re: Ada GC and real-time

dewar@cs.nyu.edu (Robert Dewar)
4 Feb 1996 01:05:06 -0500

          From comp.compilers
Related articles
Possible to write compiler to Java VM? (I volunteer to summarize) seibel@sirius.com (Peter Seibel) (1996-01-17)
Re: Ada GC (was about Java VM) dewar@cs.nyu.edu (1996-02-01)
Re: Ada GC and real-time redhawk@flash.net (Ken & Virginia Garlington) (1996-02-03)
Re: Ada GC and real-time dewar@cs.nyu.edu (1996-02-04)
| List of all articles for this month |
From: dewar@cs.nyu.edu (Robert Dewar)
Newsgroups: comp.compilers,comp.lang.ada
Date: 4 Feb 1996 01:05:06 -0500
Organization: Courant Institute of Mathematical Sciences
References: 96-01-037 96-02-004 96-02-035
Keywords: realtime, Ada, GC

Ken Garlington says


"And, of course, the other issue in _safety-critical_ hard real-time
systems is being able to verify the safety and reliability of the
algorithm. We have enough trouble verifying Ada 83 code after
removing tasking and exception handling (at least, the parts we can
remove)."


I agree that a fully verified and certified GC system is not an easy
think to achieve. Has it ever been done? I am using certified in the
FAA type sense here.
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.