Search w/in this Reviewer for Reviewers All Reviews
	Bagert, Donald Benedictine College Atchison, Kansas      Reviewer Selected    Highlighted       Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 review        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
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy