Search for Author All Reviews
	Naumann, David A.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews        Behavioral subtyping, specification inheritance, and modular reasoning Leavens G., Naumann D. ACM Transactions on Programming Languages and Systems 37(4): 1-88, 2015.  Type: Article This is a long paper: 67 pages plus a 21-page appendix. It describes the verification of a dynamically dispatched method call of an object-oriented program by using supertype abstraction. The authors maintain that such abstraction is o...... Dec 15 2015     Ownership confinement ensures representation independence for object-oriented programs Banerjee A., Naumann D. Journal of the ACM 52(6): 894-960, 2005.  Type: Article Understanding and reasoning about the behavior of programs written in object-oriented (OO) languages, such as Java, C#, and C++, remains difficult for a variety of reasons. Setting aside the problems there are in forming clear models o...... Feb 23 2006
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy