Static Typing for Dynamic Messages

Abstract

Dynamic messages are first-class messages dynamically bound to program variables. By dynamic messages, the methods to be invoked can be varied dynamically at run-time, which provides a powerful abstraction mechanism for object-oriented languages. Dynamic messages are critically needed for some programs, but it seems that there has been no proposal of static… (More)
DOI: 10.1145/268946.268968

Topics

Cite this paper

@inproceedings{Nishimura1998StaticTF, title={Static Typing for Dynamic Messages}, author={Susumu Nishimura}, booktitle={POPL}, year={1998} }