Re: deepfinal modifier for Java

"Eric Eide" <eeide@cs.utah.edu>
20 Nov 2002 15:18:46 -0500

          From comp.compilers
Related articles
Adding const to java lashari@hotmail.com (Ghulam Lashari) (2002-10-24)
deepfinal modifier for Java lashari@hotmail.com (Ghulam Lashari) (2002-11-13)
Re: deepfinal modifier for Java joachim_d@gmx.de (Joachim Durchholz) (2002-11-15)
Re: deepfinal modifier for Java eeide@cs.utah.edu (Eric Eide) (2002-11-20)
| List of all articles for this month |
From: "Eric Eide" <eeide@cs.utah.edu>
Newsgroups: comp.compilers
Date: 20 Nov 2002 15:18:46 -0500
Organization: University of Utah School of Computing
References: 02-10-101 02-11-073
Keywords: Java
Posted-Date: 20 Nov 2002 15:18:46 EST

Those interested in implementing `deepfinal' for Java would probably also be
interested in the following paper from the just-past JGI 2002 conference:


Igor Pechtchanski and Vivek Sarkar. Immutability Specification and Its
Applications. In Proceedings of the Joint ACM Java Grande - ISCOPE
Conference (JGI 2002), Seattle, WA, November 2002, pages 202--211.


In the ACM Digital Library: <http://doi.acm.org/10.1145/583810.583833>.


Eric.


--
Eric Eide <eeide@cs.utah.edu> . University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX

Post a followup to this message

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