Artifact Details

Title

Typechecking and modules for multi-methods

Catalog Number

102741367

Type

Moving Image

Date

1994-10

Credits

Chambers, Craig

Publisher

University Video Communications

Duration

00:25:00

Format

Betacam SP (short)

Copyright Holder

Computer History Museum

Description

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."

Category

Lecture

Series Title

University Video Communications: Distinguished Lectures

Credit

Gift of University Video Communications

Lot Number

X6636.2013