page 1  (50 pages)
2to next section

BeCecil, A Core Object-Oriented Language

with Block Structure and Multimethods:

Semantics and Typing

Craig Chambers and Gary T. Leavens
TR #96-17
December 1996

This report, minus the appendices, will appear in the proceedings of the The Fourth International Workshop on Foundations of Object-Oriented Languages FOOL 4, Paris, France. The full report also appears as a technical report from the department of Computer Science and Engineering, University of Washington, Seattle, WA, numbered UW-CSE-96-12-02.

Keywords: Multimethods, generic functions, object-oriented programming languages, encapsulation, information hiding, static typechecking, block structure, subtyping, inheritance, BeCecil language.

1994 CR Categories: D.3.1 [Programming Languages] Formal Definitions and Theory ? semantics; D.3.2 [Programming Languages] Language Classifications ? object-oriented languages; D.3.3 [Programming Languages] Language Constructs and Features ? abstract data types, control structures, procedures, functions, and subroutines; D.3.m [Programming Languages] Miscellaneous ? multimethods, generic functions, type systems; F.3.2 [Logics and Meanings of Programs] Semantics of Programming Languages ? operational semantics; F.3.3 [Logics and Meanings of Programs] Studies of Program Constructs ? control primitives, type structure.

Copyright ? Craig Chambers and Gary T. Leavens, 1996.

Department of Computer Science
226 Atanasoff Hall
Iowa State University
Ames, Iowa 50011-1040, USA