This document serves both as an introduction to CLU and as a language reference manual. Sections 1 through 4 present an overview of the language. These sections highlight the essential features of CLU, and discuss how CLU differs from other, more conventional, languages. Sections 5 though 13 form the reference manual proper. These sections describe each aspect of CLU in detail, and discuss the proper use of various features. Appendices 1 though III provide concise summaries of CLU''s syntax, data types, and I/O facilities. Appendix IV contains example programs.
Cited By
- Solodkyy Y, Dos Reis G and Stroustrup B Open and efficient type switch for C++ Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (963-982)
- Solodkyy Y, Dos Reis G and Stroustrup B (2012). Open and efficient type switch for C++, ACM SIGPLAN Notices, 47:10, (963-982), Online publication date: 15-Nov-2012.
- Siek J and Lumsdaine A (2018). A language for generic programming in the large, Science of Computer Programming, 76:5, (423-465), Online publication date: 1-May-2011.
- Siek J and Wadler P Threesomes, with and without blame Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (365-376)
- Siek J and Wadler P (2010). Threesomes, with and without blame, ACM SIGPLAN Notices, 45:1, (365-376), Online publication date: 2-Jan-2010.
- Siek J The c++0x "concepts" effort Proceedings of the 2010 international spring school conference on Generic and Indexed Programming, (175-216)
- Siek J and Lumsdaine A (2005). Essential language support for generic programming, ACM SIGPLAN Notices, 40:6, (73-84), Online publication date: 12-Jun-2005.
- Siek J and Lumsdaine A Essential language support for generic programming Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, (73-84)
- Rossberg A Generativity and dynamic opacity for abstract types Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, (241-252)
- Liskov B A history of CLU History of programming languages---II, (471-510)
- Corradi A and Leonardi L (1988). The role of opaque types to build abstractions, ACM SIGPLAN Notices, 23:12, (24-37), Online publication date: 1-Dec-1988.
- Gantenbein R (1987). Support for dynamic binding in strongly typed languages, ACM SIGPLAN Notices, 22:6, (69-75), Online publication date: 1-Jun-1987.
- Ishikawa Y and TOKORO M (2019). The design of an object oriented architecture, ACM SIGARCH Computer Architecture News, 12:3, (178-187), Online publication date: 1-Jun-1984.
- Ishikawa Y and TOKORO M The design of an object oriented architecture Proceedings of the 11th annual international symposium on Computer architecture, (178-187)
- Lopriore L (1984). Capability Based Tagged Architectures, IEEE Transactions on Computers, 33:9, (786-803), Online publication date: 1-Sep-1984.
- Spector D (1982). Ambiguities and insecurities in Modula-2, ACM SIGPLAN Notices, 17:8, (43-51), Online publication date: 1-Aug-1982.
- Rentsch T (1982). Object oriented programming, ACM SIGPLAN Notices, 17:9, (51-57), Online publication date: 1-Sep-1982.
- Hammer M, Ilson R, Anderson T, Gilbert E, Good M, Niamir B, Rosentein L and Schoichet S The implementation of Etude, an integrated and interactive document production system Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation, (137-146)
- Hammer M, Ilson R, Anderson T, Gilbert E, Good M, Niamir B, Rosentein L and Schoichet S (1981). The implementation of Etude, an integrated and interactive document production system, ACM SIGPLAN Notices, 16:6, (137-146), Online publication date: 1-Jun-1981.
- Leivant D The complexity of parameter passing in polymorphic procedures Proceedings of the thirteenth annual ACM symposium on Theory of computing, (38-45)
- Hammer M, Ilson R, Anderson T, Gilbert E, Good M, Niamir B, Rosentein L and Schoichet S (2019). The implementation of Etude, an integrated and interactive document production system, ACM SIGOA Newsletter, 2:1-2, (137-146), Online publication date: 1-Apr-1981.
- Hammer M and Berkowitz B DIAL Proceedings of the 1980 ACM SIGMOD international conference on Management of data, (75-92)
- Young W and Good D Generics and verification in Ada Proceedings of the ACM-SIGPLAN symposium on Ada programming language, (123-127)
- McGraw J (1980). Data Flow Computing Software Development, IEEE Transactions on Computers, 29:12, (1095-1103), Online publication date: 1-Dec-1980.
- Young W and Good D (2019). Generics and verification in Ada, ACM SIGPLAN Notices, 15:11, (123-127), Online publication date: 1-Nov-1980.
- Mattheyses R and Conry S (1979). Models for specification and anaysis of parallel computing systems, ACM SIGMETRICS Performance Evaluation Review, 8:3, (215-224), Online publication date: 1-Sep-1979.
- Mattheyses R and Conry S (1979). Models for specification and anaysis of parallel computing systems, ACM SIGSIM Simulation Digest, 11:1, (215-224), Online publication date: 1-Sep-1979.
- Mattheyses R and Conry S Models for specification and anaysis of parallel computing systems Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems, (215-224)
- Shaw M, Feldman G, Fitzgerald R, Hilfinger P, Kimura I, London R, Rosenberg J and Wulf W Validating The Utility Of Abstraction Techniques Proceedings of the 1978 annual conference, (106-110)
Recommendations
Abstraction mechanisms in CLU
Proceedings of an ACM conference on Language design for reliable softwareCLU is a new programming language designed to support the use of abstractions in program construction. Work in programming methodology has led to the realization that three kinds of abstractions, procedural, control, and especially data abstractions, ...