TitleTypechecking and modules for multi-methods
PublisherUniversity Video Communications
FormatBetacam SP (short)
Copyright HolderComputer History Museum
DescriptionFrom University Video Communications' catalog:
"Two major obstacles hindering the wider acceptance of multi-methods are concerns over the lack of encapsulation and modularity and the absence of static typechecking in existing multi-method-based languages. Chambers presents a polynomial-time static typechecking algorithm that checks the completeness and consistency of a group of method implementations with respect to declared message signatures. This algorithm improves on previous algorithms by handling separate type and inheritance hierarchies, abstract classes, and graph-based method lookup semantics. He also presents a module system that enables independently-developed code to be encapsulated and statically typechecked on a per-module basis. The Cecil language is used to illustrate this work."