An algebraic model of subtype and inheritance

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An algebraic model of subtype and inheritance

Source

Acm Press Frontier Series archive

Advances in database programming languages book contents

Pages: 75 - 96

Year of Publication: 1990

ISBN:0-201-50257-7

Authors

Kim B. Bruce
Peter Wegner

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 8

Additional Information:

cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/101620.101625 What is a DOI?

CITED BY 9

	Gary T. Leavens , William E. Weihl, Reasoning about object-oriented programs that use subtypes, ACM SIGPLAN Notices, v.25 n.10, p.212-223, Oct. 1990
	Barbara H. Liskov , Jeannette M. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.6, p.1811-1841, Nov. 1994
	César Domínguez , Julio Rubio, Modeling inheritance as coercion in a symbolic computation system, Proceedings of the 2001 international symposium on Symbolic and algebraic computation, p.109-115, July 2001, London, Ontario, Canada
	Santanu Paul , Ataul Prakash, A Query Algebra for Program Databases, IEEE Transactions on Software Engineering, v.22 n.3, p.202-217, March 1996
	H. a. Proper , T. p. van der Weide, A General Theory for Evolving Application Models, IEEE Transactions on Knowledge and Data Engineering, v.7 n.6, p.984-996, December 1995
	B. van Gils , H. A. Proper , P. van Bommel, A conceptual model of information supply, Data & Knowledge Engineering, v.51 n.2, p.189-222, November 2004
	Gary T. Leavens, Introduction to the literature on object-oriented design, programming, and languages, ACM SIGPLAN OOPS Messenger, v.2 n.4, p.40-53, Oct. 1991
	Yoonsik Cheon , Gary T. Leavens, The Larch/Smalltalk interface specification language, ACM Transactions on Software Engineering and Methodology (TOSEM), v.3 n.3, p.221-153, July 1994
	E. Buss , R. De Mori , W. M. Gentleman , J. Henshaw , H. Johnson , K. Kontogiannis , E. Merlo , H. A. Müller , J. Mylopoulos , S. Paul , A. Prakash , M. Stanley , S. R. Tilley , J. Troster , K. Wong, Investigating reverse engineering technologies for the CAS program understanding project, IBM Systems Journal, v.33 n.3, p.477-500, July 1994