A type system for prototyping languages

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. We describe the main features of the type language, its intended use in a prototyping environment, and rationale for selected design decisions.

REFERENCES

• App92: Apple Computer Inc. Dylan, an object-oriented dynamzc language, Nov 1992.
• CHC90: William R. Cook , Walter Hill , Peter S. Canning, Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.125-135, December 1989, San Francisco, California, United States [doi>10.1145/96709.96721]
• Coo89: W.R. Cook. A proposal for making Eiffel typesafe. In European Conf. on Object-Oriented Programmzng, pages 57-72, 1989.
• Coo92: 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
• ES90: Margaret A. Ellis , Bjarne Stroustrup, The annotated C++ reference manual, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• GP94: Giuseppe Castagna , Benjamin C. Pierce, Decidable bounded quantification, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.151-162, January 16-19, 1994, Portland, Oregon, United States [doi>10.1145/174675.177844]
• GR83: Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
• HL94: 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]
• Kat92: Dinesh Katiyar. Subtyping F-bounded types. In ANSA Workshop on F-bounded quantification, Cambmdge, Sept 1992. Position paper.
• Kee89: S. E. Keene, A programmer's guide to object-oriented programming in Common LISP, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
• Ken93: John. J. Kenney. Banking on X/Open. To appear as a Stanford University Technical Report, 1993.
• KS92: Benjamin C. Pierce, Bounded quantification is undecidable, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.305-315, January 19-22, 1992, Albuquerque, New Mexico, United States [doi>10.1145/143165.143228]
• Ler94: 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]
• LVB+93: David C. Luckham , James Vera , Doug Bryan , Larry Augustin , Frank Belz, Partial orderings of event sets and their application to prototyping concurrent, timed systems, Journal of Systems and Software, v.21 n.3, p.253-265, June 1993 [doi>10.1016/0164-1212(93)90027-U]
• Mac86: 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]
• Mey92: Bertrand Meyer, Eiffel: the language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
• MT91: Robin Milner , Mads Tofte, Commentary on standard ML, MIT Press, Cambridge, MA, 1991
• MTH90: Robin Milner , Mads Tofte , Robert Harper, The definition of Standard ML, MIT Press, Cambridge, MA, 1990
• Pau91: Laurence C. Paulson, ML for the working programmer, Cambridge University Press, New York, NY, 1991
• Pie92: Benjamin C. Pierce, Bounded quantification is undecidable, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.305-315, January 19-22, 1992, Albuquerque, New Mexico, United States [doi>10.1145/143165.143228]
• Rit91: M. Rittri. Using types as search keys in function libraries. J. Functional Programming, 1(1):71-90, 1991.
• RPr: The PAVG group, Stanford University. The Rapide Predefined Types Reference Manual.
• RT91: C. Runciman and i. Toyn. Retrieving reusable software components by polymorphic type. J. Functional Programming, 1(2):191-212, 1991.
• Sny86: 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
• TC93: W. Tracz and L. Cogfianese. An adaptable software architecture for integrated avionics. In Proceedings of NAECON 93, pages 1161-1168, Dayton, Ohio, May 1993. IEEE.
• Tof89: M. Torte. Four lectures on Standard ML. Technical Report ECS-LFCS-89-73, Lab. for Foundations of C.S., University of Edinburgh, 1989.
• 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:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.3 Studies of Program Constructs
          Subjects: Type structure

General Terms:
Languages, Theory