Polymorphism and subtyping in interface

Authors:
Dinesh Katiyar;David Luckham;John Mitchell
Affiliations:
Department of Computer Science, Stanford University;Department of Computer Science, Stanford University;Department of Computer Science, Stanford University
Venue:
IDL '94 Proceedings of the workshop on Interface definition languages
Year:
1994

Citing 13
Cited 6

Smalltalk-80: the language and its implementation

Smalltalk-80: the language and its implementation
The C++ programming language

The C++ programming language
Encapsulation and inheritance in object-oriented programming languages

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
The definition of Standard ML

The definition of Standard ML
The annotated C++ reference manual

The annotated C++ reference manual
An extension of standard ML modules with subtyping and inheritance

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Interfaces and specifications for the Smalltalk-80 collection classes

OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Manifest types, modules, and separate compilation

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A type-theoretic approach to higher-order modules with sharing

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A type system for prototyping languages

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A new approach to prototyping Ada-based hardware/software systems

TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Using dependent types to express modular structure

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Two-Dimensional Pinpointing: Debugging with Normal Specifications

IEEE Software

Specification and Analysis of System Architecture Using Rapide

IEEE Transactions on Software Engineering - Special issue on software architecture
Subtypes vs. where clauses: constraining parametric polymorphism

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
On subtyping and matching

ACM Transactions on Programming Languages and Systems (TOPLAS)
Parameterized types for Java

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On Subtyping and Matching

ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
A Basic Model of Typed Components

ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

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.