Title
Typechecking and modules for multi-methodsCatalog Number
102741367Type
Moving ImageDescription
From 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."