[Next] [Previous] [Up] [Top] [Contents] [Index]

1 Introduction

1.2 Overview

This document attempts to provide a fairly detailed specification of the Cecil language, together with discussion of the various design decisions. The next section of this document describes the basic object and message passing model in Cecil. Section 3 extends this dynamically-typed core language with a static type system and describes a type checking algorithm, and section 4 discusses parameterization. Section 5 describes Cecil's module system. Section 6 discusses some related work. Appendix A summarizes the complete syntax for Cecil.