Implementing Signatures for C++

ACM Transactions on Programming Languages and Systems

Volumn 19, Issue 1, 1997, Pages 153-187

  Baumgartner, Gerald ^a   Russo, Vincent F ^a  

^a Purdue University   (United States)

Author keywords

D.1.5 Programming Techniques : Object Oriented Programming; D.2.2 Software Engineering : Tools and Techniques modules and interfaces; D.3.3 Programming Languages : Language Constructs and Features abstract data types

Indexed keywords

DESIGN; INTERFACES (COMPUTER); OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; PROGRAM PROCESSORS;

ABSTRACT DATA TYPES; DYNAMIC TYPING; POLYMORPHISM; SEMANTICS; STATIC TYPING; SUBTYPING; SYNTAX;

C (PROGRAMMING LANGUAGE);

EID: 0030834564     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/239912.239922     Document Type: Article

References (26)

1. ABADI, M. AND CARDELLI, L. 1996. On subtyping and matching. ACM Trans. Program. Lang. Syst. 18, 4 (July), 401-423.
2. AMADIO, R. M. AND CARDELLI, L. 1993. Subtyping recursive types. ACM Trans. Program. Lang. Syst. 15, 4 (Sept.), 575-631.
3. AMERICA, P. AND VAN DER LINDEN, F. 1990. A parallel object-oriented language with inheritance and subtyping. In Proceedings of the OOPSLA '90 Conference on Object-Oriented Programming Systems, Languages, and Applications. SIGPLAN Not. 25, 10 (Oct.), 161-168.
4. BAUMGARTNER, G. 1995. Type abstraction using signatures. In Using and Porting GNU CC, R. M. Stallman, Ed. Free Software Foundation, Cambridge, Mass, Section 7.6, 180-182. Available as part of the GCC-2.7.2 distribution.
5. BAUMGARTNER, G. AND Russo, V. F. 1995. Signatures: A language extension for improving type abstraction and subtype polymorphism in C++. Softw. Pract. Exper. 25, 8 (Aug.), 863-889.
6. BLACK, A., HUTCHINSON, N., JUL, E., AND LEVY, H. 1986. Object structure in the Emerald system. In Proceedings of the OOPSLA '86 Conference on Object-Oriented Programming Systems, Languages, and Applications. SIGPLAN Not. 21, 11 (Nov.), 78-86.
7. BRUCE, K. B. 1997. Typing in object-oriented languages: Achieving expressibility and safety. ACM Comput. Surv. To be published.
8. CARDELLI, L. 1984. A semantics of multiple inheritance. In Semantics of Data Types, G. Kahn, D. B. MacQueen, and G. Plotkin, Eds. Lecture Notes in Computer Science, vol. 173. Springer-Verlag, New York, 51-67.
9. CARDELLI, L., DONAHUE, J., GLASSMAN, L., JORDAN, M., KALSOW, B., AND NELSON, G. 1992. Modula-3 language definition. SIGPLAN Not. 27, 8 (Aug.), 15-43.
10. COOK, W. R., HILL, W. L., AND CANNING, P. S. 1990. Inheritance is not subtyping. In Proceedings of the 17th Annual ACM Symposium on Principles of Programming Languages. ACM, New York, 125-135.
11. DONAHUE, J. AND DEMERS, A. 1985. Data types are values. ACM Trans. Program. Lang. Syst. 7, 3 (July), 426-445.
12. ELLIS, M. A. AND STROUSTRUP, B. 1990. The Annotated C++ Reference Manual. Addison-Wesley, Reading, Mass.
13. GOSLING, J., JOY, B., AND STEELE, G. 1997. The Java Language Specification. Addison-Wesley, Reading, Mass.
14. GRANSTON, E. D. AND RUSSO, V. F. 1991. Signature-based polymorphism for C++. In Proceedings of the 1991 USENIX C++ Conference. USENIX Assoc., Berkeley, Calif., 65-79.
15. HUDAK, P., PEYTON JONES, S., WADLER, P., BOUTEL, B., FAIRBAIRN, J., FASEL, J., GUZMÁN, M. M., HAMMOND, K., HUGHES, J., JOHNSSON, T., KIEBURTZ, D., NIKHIL, R., PARTAIN, W., AND PETERSON, J. 1992. Report on the programming language Haskell: A non-strict, purely functional language, version 1.2. SIGPLAN Not. 27, 5 (May), Section R.
16. JENKS, R. D. AND SUTOR, R. S. 1992. AXIOM: The Scientific Computation System. Springer-Verlag, New York.
17. MACQUEEN, D. B. 1985. Modules for Standard ML. Polymorphism 2, 2 (Oct.).
18. MACQUEEN, D. B. 1988. An implementation of Standard ML modules. In Proceedings of the 1988 ACM Conference on Lisp and Functional Programming. ACM, New York, 212-223.
19. Object Management Group. 1995. The Common Object Request Broker: Architecture and Specification. Rev. 2.0. Object Management Group, Framingham, Mass.
20. SCHAFFERT, C., COOPER, T., BULLIS, B., KILIAN, M., AND WILPOLT, C. 1986. An introduction to Trellis/Owl. In Proceedings of the OOPSLA '86 Conference on Object-Oriented Programming Systems, Languages, and Applications. SIGPLAN Not. 21, 11 (Nov.), 9-16.
21. SNYDER, A. 1986. Encapsulation and inheritance in object-oriented programming languages. In Proceedings of the OOPSLA '86 Conference on Object-Oriented Programming Systems, Languages, and Applications. SIGPLAN Not. 21, 11 (Nov.), 38-45.
22. SPARC International. 1991. The SPARC Architecture Manual. Ver. 8, SAV080SI9106. SPARC International, Menlo Park, Calif.
23. STALLMAN, R. M. 1995. Using and Porting GNU CC. Free Software Foundation, Cambridge, Mass. Available as part of the GCC-2.7.2 distribution.
24. SUTOR, R. S. AND JENKS, R. D. 1987. The type inference and coercion facilities in the Scratchpad II interpreter. In Proceedings of the SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques. SIGPLAN Not. 22, 1 (July), 56-63.
25. WATT, S. M., JENKS, R. D., SUTOR, R. S., AND TRAGER, B. M. 1990. The Scratchpad II type system: Domains and subdomains. In Computing Tools for Scientific Problem Solving, A. M. Miola, Ed. Academic Press, London, 63-82.
26. WIRTH, N. 1985. Programming in Modula-2. Texts and Monographs in Computer Science. Springer-Verlag, Berlin.