Article

Free access

Polymorphism and subtyping in interface

Authors:

Dinesh Katiyar,

John MitchellAuthors Info & Claims

IDL '94: Proceedings of the Workshop on Interface Definition Languages

Pages 22 - 34

https://doi.org/10.1145/185084.185098

Published: 01 August 1994 Publication History

Abstract

RAPIDE is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and default executable, specification and architecture languages, along with associated programming tools. Interfaces are the central construct of the type system. This document describes RAPIDE interfaces, their expressiveness and their use as a typing construct.

References

[1]

{App92} Apple Computer Inc. Dylan, an object-oriented dynamic language, Nov. 1992.

[2]

{BL90} F. Belz and D.C. Luckham. A new approach to prototyping Ada-based hardware/software systems. In Proc. ACM Tri-Ada'90 Conference, December 1990.

Digital Library

[3]

{Coo92} W.R. Cook. Interfaces and specifications for the Smalltalk-80 collection classes. In ACM Conf. Object-oriented Programming: Systems, Languages and Applications, pages 1-15, 1992.

Digital Library

[4]

{DMN70} O-J. Dahl, B. Myrhaug, and K. Nygaard. SIMULA Common Base Language. Norwegian Computing Center S-22, Oslo, Norway, 1970.

[5]

{ES90} M. Ellis and B. Stroustrop. The Annotated C++ Reference Manual. Addison-Wesley, 1990.

Digital Library

[6]

{GR83} A. Goldberg and D. Robson. Smalltalk-80: The language and its implementation. Addison Wesley, 1983.

Digital Library

[7]

{HL94} Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proc. 21-st ACM Symp. on Principles of Programming Languages, 1994.

Digital Library

[8]

{Kee89} S.E. Keene. Object-oriented programming in Common Lisp. Addison-Wesley, 1989.

Digital Library

[9]

{KLM⁺92} D. Katiyar, D.C. Luckham, N. Madhav, S. Meldal, J.C. Mitchell, and S. Sankar. Subtyping, assignment, and cloning in a concurrent object-oriented language. In Proceedings of the DARPA Software Technology Conference, Los Angeles, California., pages 458-470, April 1992.

[10]

{KLM94} Dinesh Katiyar, David Luckham, and John Mitchell. A type system for prototyping languages. In Proc. 21-st ACM Symp. on Principles of Programming Languages, 1994.

Digital Library

[11]

{Ler94} Xavier Leroy. Manifest types, modules and separate compilation. In Proc. 21-st ACM Symp. on Principles of Programming Languages, 1994.

Digital Library

[12]

{LST91} D. C. Luckham, S. Sankar, and S. Takahashi. Two dimensional pinpointing: An application of formal specification to debugging packages. IEEE Software, 8(1):74-84, January 1991. (Also Stanford University Technical Report No. CSL-TR-89-379.).

Digital Library

[13]

{Mac86} D.B. MacQueen. Using dependent types to express modular structure. In Proc. 13-th ACM Symp. on Principles of Programming Languages, pages 277-286, 1986.

Digital Library

[14]

{MMM91} J.C. Mitchell, S. Meldal, and N. Madhav. An extension of Standard ML modules with subtyping and inheritance. In Proc. 18th ACM Symp. on Principles of Programming Languages, pages 270-278, January 1991.

Digital Library

[15]

{MTH90} Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990.

Digital Library

[16]

{RAr} The PAVG group, Stanford University. The Rapide Architecture Language Reference Manual.

[17]

{RPr} The PAVG group, Stanford University. The Rapide Predefined Types Reference Manual.

[18]

{Sny86} A. Snyder. Encapsulation and inheritance in object-oriented programming languages. In Proc. 1-st ACM Symp. on Object-Oriented Programming Systems, Languages, and Applications, pages 38-46, October 1986.

Digital Library

[19]

{Str86} B. Stroustrop. The C++ Programming Language. Addison-Wesley, 1986.

Digital Library

[20]

{Tof89} M. Tofte. Four lectures on Standard ML. Technical Report ECS-LFCS-89-73, Lab. for Foundations of C.S., University of Edinburgh, 1989.

[21]

{US 80} US Dept. of Defense. Reference Manual for the Ada Programming Language. GPO 008-000- 00354-8, 1980.

Cited By

Fisher KMitchell J(2005)Notes on typed object-oriented programmingTheoretical Aspects of Computer Software10.1007/3-540-57887-0_128(844-885)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-57887-0_128
Luckham DKenney JAugustin LVera JBryan DMann W(1995)Specification and Analysis of System Architecture Using RapideIEEE Transactions on Software Engineering10.1109/32.38597121:4(336-355)Online publication date: 1-Apr-1995
https://dl.acm.org/doi/10.1109/32.385971
Fisher KMitchell J(1995)The Development of Type Systems for Object‐Oriented LanguagesTheory and Practice of Object Systems10.1002/j.1096-9942.1995.tb00018.x1:3(189-220)Online publication date: Jan-1995
https://doi.org/10.1002/j.1096-9942.1995.tb00018.x
Show More Cited By

Index Terms

Polymorphism and subtyping in interface
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. Software and its engineering
  1. Software creation and management
  2. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

Polymorphism, subtyping, and type inference in MLsub
POPL '17: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

We present a type system combining subtyping and ML-style parametric polymorphism. Unlike previous work, our system supports type inference and has compact principal types. We demonstrate this system in the minimal language MLsub, which types a strict ...
Polymorphism and subtyping in interface

RAPIDE is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and default executable, specification and architecture languages, along with ...
Structural Subtyping as Parametric Polymorphism

Structural subtyping and parametric polymorphism provide similar flexibility and reusability to programmers. For example, both features enable the programmer to provide a wider record as an argument to a function that expects a narrower one. However, ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

IDL '94: Proceedings of the Workshop on Interface Definition Languages

August 1994

138 pages

ISBN:9781450333207

DOI:10.1145/185084

Editors:
Jeanette M. Wing
Carnegie Mellon Univ., Pittsburgh, PA
,
Richard L. Wexelblat
ACM SIGPLAN Notices, Washington, DC

ACM SIGPLAN Notices Volume 29, Issue 8
Aug. 1994
138 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/185087
Editors:
Richard L. Wexelblat
ACM SIGPLAN Notices, Washington, DC
,
Jeanette M. Wing
Carnegie Mellon Univ., Pittsburgh, PA
Issue’s Table of Contents

Copyright © 1994 Authors.

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1994

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
321
Total Downloads

Downloads (Last 12 months)82
Downloads (Last 6 weeks)18

Reflects downloads up to 30 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Fisher KMitchell J(2005)Notes on typed object-oriented programmingTheoretical Aspects of Computer Software10.1007/3-540-57887-0_128(844-885)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-57887-0_128
Luckham DKenney JAugustin LVera JBryan DMann W(1995)Specification and Analysis of System Architecture Using RapideIEEE Transactions on Software Engineering10.1109/32.38597121:4(336-355)Online publication date: 1-Apr-1995
https://dl.acm.org/doi/10.1109/32.385971
Fisher KMitchell J(1995)The Development of Type Systems for Object‐Oriented LanguagesTheory and Practice of Object Systems10.1002/j.1096-9942.1995.tb00018.x1:3(189-220)Online publication date: Jan-1995
https://doi.org/10.1002/j.1096-9942.1995.tb00018.x
Abadi MCardelli L(2000)On Subtyping and MatchingObject-Oriented Programming10.1007/3-540-49538-X_8(145-167)Online publication date: 25-Aug-2000
https://doi.org/10.1007/3-540-49538-X_8
Seco JCaires L(2000)A Basic Model of Typed ComponentsECOOP 2000 — Object-Oriented Programming10.1007/3-540-45102-1_6(108-128)Online publication date: 12-May-2000
https://doi.org/10.1007/3-540-45102-1_6
Evered M(1998)Unconstraining genericityProceedings. Technology of Object-Oriented Languages. TOOLS 24 (Cat. No.97TB100240)10.1109/TOOLS.1997.713561(340-349)Online publication date: 1998
https://doi.org/10.1109/TOOLS.1997.713561
Evered MKeedy JMenger GSchmolitzky A(1998)Genja-a new proposal for parameterised types in JavaProceedings. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239)10.1109/TOOLS.1997.681870(181-193)Online publication date: 1998
https://doi.org/10.1109/TOOLS.1997.681870
Bank JMyers ALiskov BLee PHenglein FJones N(1997)Parameterized types for JavaProceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/263699.263714(132-145)Online publication date: 1-Jan-1997
https://dl.acm.org/doi/10.1145/263699.263714
Abadi MCardelli L(1996)On subtyping and matchingACM Transactions on Programming Languages and Systems10.1145/233561.23356318:4(401-423)Online publication date: 1-Jul-1996
https://dl.acm.org/doi/10.1145/233561.233563
Abadi MCardelli L(1995)On Subtyping and MatchingProceedings of the 9th European Conference on Object-Oriented Programming10.5555/646153.679539(145-167)Online publication date: 7-Aug-1995
https://dl.acm.org/doi/10.5555/646153.679539
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

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

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten