Return to the
comp.compilers page.
Search the
comp.compilers archives again.
| Related articles |
|---|
| [17 earlier articles] |
| Re: Ada GC eachus@spectre.mitre.org (1996-02-09) |
| Re: Ada GC kennel@msr.epm.ornl.gov (1996-02-09) |
| Re: Ada GC kweise@pluto.colsa.com (1996-02-09) |
| Re: Ada GC dewar@cs.nyu.edu (1996-02-10) |
| Re: Ada GC boehm@parc.xerox.com (1996-02-13) |
| Re: Ada GC yanowitz@mcet.edu (1996-02-13) |
| Re: Ada GC kelvin@cs.iastate.edu (1996-02-13) |
| Re: Ada GC stt@copperfield.camb.inmet.com (1996-02-13) |
| Re: Ada GC rfg@monkeys.com (1996-02-13) |
| Re: Ada GC boehm@parc.xerox.com (1996-02-14) |
| Re: Ada GC jsa@organon.com (1996-02-14) |
| From: | kelvin@cs.iastate.edu (Kelvin Nilsen) |
| Newsgroups: | comp.compilers,comp.lang.ada |
| Date: | 13 Feb 1996 00:17:46 -0500 |
| Organization: | Iowa State University, Ames, Iowa |
| References: | 96-01-037 96-02-030 96-02-091 |
| Keywords: | Ada, GC |
>Henry Baker <hbaker@netcom.com> wrote:
>[spec'ing realtime and GC behavior is hard, but people seem to do it]
kweise@pluto.colsa.com (Kevin Weise) writes:
> I would certainly appreciate some reference to a real-time
> programming language that provides as part of its
> requirements/specifications bounds on the various primitive
> operations it provides.
See our description of Real-Time Java, which integrates specification of
real-time behavior and real-time garbage collection for an example. The
description is available at the web site mentioned in my signature.
--
Kelvin Nilsen, Research Scientist voice: (515) 294-5143
151 ASC II, CATD fax: (515) 294-9519
Iowa State University internet: kelvin@iastate.edu
Ames, IA 50011 http://kickapoo.catd.iastate.edu/index.html
--
Return to the
comp.compilers page.
Search the
comp.compilers archives again.