The real-time core Java specification developed by the J Consortium uses
static checking to enforce scoping of stack-allocated memory. Basically, it
extends the type system to support safe stack allocation with no run-time
checks. Additional information is available at www.j-consortium.org, or
email me if you'd like me to send a PDF version of that specification.
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:26 EDT