Support for dynamic binding in strongly typed languages
ACM SIGPLAN Notices
Algorithmic specifications: a constructive specification method for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fine-grained mobility in the Emerald system
ACM Transactions on Computer Systems (TOCS)
The role of opaque types to build abstractions
ACM SIGPLAN Notices
IEEE Transactions on Software Engineering
An improved storage management scheme for block structured languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
DIAL: a programming language for data intensive applications
SIGMOD '80 Proceedings of the 1980 ACM SIGMOD international conference on Management of data
What is "Object-Oriented Programming?"
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Beyond Generic Component Parameters
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
The complexity of parameter passing in polymorphic procedures
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
Validating The Utility Of Abstraction Techniques
ACM '78 Proceedings of the 1978 annual conference
Models for specification and anaysis of parallel computing systems
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
The implementation of Etude, an integrated and interactive document production system
Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation
The design of an object oriented architecture
ISCA '84 Proceedings of the 11th annual international symposium on Computer architecture
Generativity and dynamic opacity for abstract types
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Ambiguities and insecurities in Modula-2
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Generics and verification in Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
A language for computational algebra
ACM SIGPLAN Notices
History of programming languages---II
Essential language support for generic programming
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Supporting software composition at the programming language level
Science of Computer Programming - Special issue on new software composition concepts
Capability Based Tagged Architectures
IEEE Transactions on Computers
Data Flow Computing Software Development
IEEE Transactions on Computers
Threesomes, with and without blame
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A language for generic programming in the large
Science of Computer Programming
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Open and efficient type switch for C++
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
| Hi-index | 0.01 |
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.