BeCecil, A Core Object-Oriented Language
with Block Structure and Multimethods:
Semantics and Typing
Craig Chambers and Gary T. Leavens
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