Affiliation:
1. Department of Computer Science, Stanford University
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.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference20 articles.
1. {App92} Apple Computer Inc. Dylan an object-oriented dynamic language Nov. 1992. {App92} Apple Computer Inc. Dylan an object-oriented dynamic language Nov. 1992.
2. A new approach to prototyping Ada-based hardware/software systems
3. Interfaces and specifications for the Smalltalk-80 collection classes
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Basic Model of Typed Components;Lecture Notes in Computer Science;2000
2. On subtyping and matching;ACM Transactions on Programming Languages and Systems;1996-07
3. Subtypes vs. where clauses;ACM SIGPLAN Notices;1995-10-17
4. Unconstraining genericity;Proceedings. Technology of Object-Oriented Languages. TOOLS 24 (Cat. No.97TB100240)
5. On Subtyping and Matching;Object-Oriented Programming