BeCecil, A Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing

@inproceedings{Chambers1997BeCecilAC,
  title={BeCecil, A Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing},
  author={Craig Chambers and Gary T. Leavens},
  year={1997}
}
We present and analyze the semantics and static type system for BeCecil, a theoretical (core) language with multimethods. BeCecil is a simple and orthogonal version of object-oriented languages like Cecil, CLOS, and Dylan. BeCecil has a new, simple mechanism for information hiding, which allows subclassing and yet can preserve representation invariants. BeCecil is also block-structured; within a block, one can extend a generic function with new multimethods, which may come from other generic… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-6 of 6 references

BeCecil, A Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing

  • Chambers, Leavens 96 Craig Chambers, Gary T. Leavens
  • Department of Computer Science and Engineering…
  • 1996

The Cecil Language: Specification and Rationale: Version 2.0

  • Craig Chambers
  • Department of Computer Science and Engineering,
  • 1995
6 Excerpts

Similar Papers

Loading similar papers…