Re: Ada GC and real-time (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) (Peter Seibel) (1996-01-17)
Re: Ada GC (was about Java VM) (1996-02-01)
Re: Ada GC and real-time (Ken & Virginia Garlington) (1996-02-03)
Re: Ada GC and real-time (1996-02-04)
| List of all articles for this month |

From: (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

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.