CLU Reference Manual

@inproceedings{Liskov1981CLURM,
  title={CLU Reference Manual},
  author={Barbara H. Liskov and Russell R. Atkinson and Toby Bloom and J. Eliot B. Moss and Craig Schaffert and Robert W. Scheifler and Alan Snyder},
  booktitle={Lecture Notes in Computer Science},
  year={1981}
}
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… 
IDL: sharing intermediate representations
IDL (Interface Description Language) is a practical and useful tool for controlling the exchange of structured data between different components of a large system. IDL is a notation for describing
Essential language support for generic programming
TLDR
This paper presents the design of a type system and semantics for concepts that is suitable for non-type-inferencing languages and shares much in common with the type classes of Haskell, though the primary influence is from best practices in the C++ community.
The Development of Type Systems for Object-Oriented Languages
TLDR
This paper summarizes some basic research goals in the study and development of typed object-oriented programming languages and discusses approaches to selected research problems, including changes in the type of a method from super class to sub class and the use of types that give information about the implementations as well as the interfaces of objects.
Notes on Typed Object-Oriented Programming
TLDR
This paper summarize and compare three object models used in the theoretical literature, and considers approaches to a few technical problems, including changes in the type of a method from super (base) class to sub (derived) class and the use of types that give information about the implementations as well as the interfaces of objects.
Unifying Tables, Objects and Documents
This paper proposes a number of type-system and language extensions to natively support relational and hierarchical data within a statically typed object-oriented setting. In our approach SQL tables
Iteration and abstract data types
TLDR
Two approaches to the problems of iterating through an abstraction, such as the elements of a list, are examined: action importation and data exportation.
Rationale for Comments: The Effect on Programming Languages and Implementation
TLDR
The changing role of comments is described, giving examples of new uses of program comments in the area of formal system specification and verification, and the need for different types of comments and their syntactical representation is outlined.
Criteria for a standard command language based on data abstraction
TLDR
The technical approach is based on the form of modularity provided by data abstraction, and this leads to the statement of a simple but stringent set of criteria for the inclusion of functional capabilities in a standard command language.
Data Base Programming Tools in the Atlant Language
TLDR
The ATLANT language is designed for the construction and operation of databases supporting various models and provides a rich set of built-in specific and generic data types and tools for constructing user-defined types.
Proposals for enhancement of the Ada programming language
TLDR
The main part of the thesis is a proposal for object-oriented extensions, making classes and objects with inheritance available through package and task types, as a very natural extension of Ada 83's task types.
...
...