Take a look at the new version of this page: [ beta version ]. Tell us what you think.

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: Frank C. Belz , David C. Luckham, A new approach to prototyping Ada-based hardware/software systems, Proceedings of the conference on TRI-ADA '90, p.141-155, December 03-06, 1990, Baltimore, Maryland, United States [doi>10.1145/255471.255520]
• 3: William R. Cook, Interfaces and specifications for the Smalltalk-80 collection classes, conference proceedings on Object-oriented programming systems, languages, and applications, p.1-15, October 18-22, 1992, Vancouver, British Columbia, Canada
• 4: [DMN70] O-J. Dahl, B. Myrhaug, and K. Nygaard. SIMULA Common Base Language. Norwegian Computing Center S-22, Oslo, Norway, 1970.
• 5: Margaret A. Ellis , Bjarne Stroustrup, The annotated C++ reference manual, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 6: Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
• 7: Robert Harper , Mark Lillibridge, A type-theoretic approach to higher-order modules with sharing, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.123-137, January 16-19, 1994, Portland, Oregon, United States [doi>10.1145/174675.176927]
• 8: [Kee89] S.E. Keene. Object-oriented programming in Common Lisp. Addison-Wesley, 1989.
• 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: Dinesh Katiyar , David Luckham , John Mitchell, A type system for prototyping languages, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.138-150, January 16-19, 1994, Portland, Oregon, United States [doi>10.1145/174675.177838]
• 11: Xavier Leroy, Manifest types, modules, and separate compilation, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.109-122, January 16-19, 1994, Portland, Oregon, United States [doi>10.1145/174675.176926]
• 12: David Luckham , Sriram Sankar , Shuzo Takahashi, Two-Dimensional Pinpointing: Debugging with Normal Specifications, IEEE Software, v.8 n.1, p.74-84, January 1991 [doi>10.1109/52.62935]
• 13: David B. MacQueen, Using dependent types to express modular structure, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.277-286, January 01, 1986, St. Petersburg Beach, Florida [doi>10.1145/512644.512670]
• 14: John Mitchell , Sigurd Meldal , Neel Madhav, An extension of standard ML modules with subtyping and inheritance, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.270-278, January 21-23, 1991, Orlando, Florida, United States [doi>10.1145/99583.99620]
• 15: Robin Milner , Mads Tofte , Robert Harper, The definition of Standard ML, MIT Press, Cambridge, MA, 1990
• 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: Alan Snyder, Encapsulation and inheritance in object-oriented programming languages, Conference proceedings on Object-oriented programming systems, languages and applications, p.38-45, September 29-October 02, 1986, Portland, Oregon, United States
• 19: Bjarne Stroustrup, The C++ programming language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
• 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.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES

Additional Classification:
  C. Computer Systems Organization
  C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS
      Subjects: Real-time and embedded systems

  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.m Miscellaneous
          Subjects: Rapid prototyping**

General Terms:
Design, Languages, Performance, Theory