chapter

An algebraic model of subtype and inheritance

Authors:

Kim B. Bruce,

Peter WegnerAuthors Info & Claims

Advances in database programming languages

November 1990

Pages 75 - 96

https://doi.org/10.1145/101620.101625

Published: 01 November 1990 Publication History

Abstract

No abstract available.

Cited By

View all

Domínguez CRubio JKaltofen EVillard G(2001)Modeling inheritance as coercion in a symbolic computation systemProceedings of the 2001 international symposium on Symbolic and algebraic computation10.1145/384101.384117(109-115)Online publication date: 1-Jul-2001
https://dl.acm.org/doi/10.1145/384101.384117
Paul SPrakash A(1996)A Query Algebra for Program DatabasesIEEE Transactions on Software Engineering10.1109/32.48908022:3(202-217)Online publication date: 1-Mar-1996
https://dl.acm.org/doi/10.1109/32.489080
Proper Hvan der Weide T(1995)A General Theory for Evolving Application ModelsIEEE Transactions on Knowledge and Data Engineering10.1109/69.4765037:6(984-996)Online publication date: 1-Dec-1995
https://dl.acm.org/doi/10.1109/69.476503
Show More Cited By

Index Terms

An algebraic model of subtype and inheritance
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
  2. Software notations and tools
    1. General programming languages
      1. Language features
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs
    2. Program semantics

Recommendations

Pure subtype systems
POPL '10

This paper introduces a new approach to type theory called pure subtype systems . Pure subtype systems differ from traditional approaches to type theory (such as pure type systems) because the theory is based on subtyping, rather than typing. Proper ...
Pure subtype systems
POPL '10: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

This paper introduces a new approach to type theory called pure subtype systems . Pure subtype systems differ from traditional approaches to type theory (such as pure type systems) because the theory is based on subtyping, rather than typing. Proper ...
Type elaboration and subtype completion for Java bytecode

Java source code is strongly typed, but the translation from Java source to bytecode omits much of the type information originally contained within methods. Type elaboration is a technique for reconstructing strongly typed programs from incompletely ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Advances in database programming languages

November 1990

547 pages

ISBN:0201502577

DOI:10.1145/101620

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1990

Permissions

Request permissions for this article.

Request Permissions

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 28 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Domínguez CRubio JKaltofen EVillard G(2001)Modeling inheritance as coercion in a symbolic computation systemProceedings of the 2001 international symposium on Symbolic and algebraic computation10.1145/384101.384117(109-115)Online publication date: 1-Jul-2001
https://dl.acm.org/doi/10.1145/384101.384117
Paul SPrakash A(1996)A Query Algebra for Program DatabasesIEEE Transactions on Software Engineering10.1109/32.48908022:3(202-217)Online publication date: 1-Mar-1996
https://dl.acm.org/doi/10.1109/32.489080
Proper Hvan der Weide T(1995)A General Theory for Evolving Application ModelsIEEE Transactions on Knowledge and Data Engineering10.1109/69.4765037:6(984-996)Online publication date: 1-Dec-1995
https://dl.acm.org/doi/10.1109/69.476503
Leavens G(1991)Introduction to the literature on object-oriented design, programming, and languagesACM SIGPLAN OOPS Messenger10.1145/126983.1269882:4(40-53)Online publication date: 1-Oct-1991
https://dl.acm.org/doi/10.1145/126983.126988
Leavens GWeihl W(1990)Reasoning about object-oriented programs that use subtypesACM SIGPLAN Notices10.1145/97946.9797025:10(212-223)Online publication date: 1-Sep-1990
https://dl.acm.org/doi/10.1145/97946.97970
Leavens GWeihl WYonezawa A(1990)Reasoning about object-oriented programs that use subtypesProceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications10.1145/97945.97970(212-223)Online publication date: 1-Sep-1990
https://dl.acm.org/doi/10.1145/97945.97970

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Pure subtype systems

Pure subtype systems

Type elaboration and subtype completion for Java bytecode

Comments

Information

Published In

Publisher

Publication History

Permissions

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations