Open AccessBook
CLU: Reference Manual
Reads0
Chats0
TLDR
This document serves both as an introduction to CLU and as a language reference manual that describes each aspect of CLU in detail, and discusses the proper use of various features.Abstract:
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.read more
Citations
More filters
Journal ArticleDOI
On understanding types, data abstraction, and polymorphism
Luca Cardelli,Peter Wegner +1 more
TL;DR: A λ-calculus-based model for type systems that allows us to explore the interaction among the concepts of type, data abstraction, and polymorphism in a simple setting, unencumbered by complexities of production programming languages is developed.
Journal ArticleDOI
A behavioral notion of subtyping
Barbara Liskov,Jeannette M. Wing +1 more
TL;DR: This paper presents a way of specifying types that makes it convenient to define the subtype relation, and discusses the ramifications of this notion of subtyping on the design of type families.
Journal ArticleDOI
Simplify: a theorem prover for program checking
TL;DR: The article describes two techniques, error context reporting and error localization, for helping the user to determine the reason that a false conjecture is false, and includes detailed performance figures on conjectures derived from realistic program-checking problems.
Journal ArticleDOI
Fine-grained mobility in the Emerald system
TL;DR: Emerald as mentioned in this paper is an object-based language and system designed for the construction of distributed programs that allows objects to freely move within the system to take advantage of distribution and dynamically changing environments.
Journal ArticleDOI
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
TL;DR: In this article, the authors present an integrated programming language and system designed to support the construction and maintenance of distributed programs: programs in which modules reside and execute at communicating, but geographically distinct, nodes.