A class of programming language mechanisms to facilitate multiple implementations of the same specification

Murali Sitaraman. A class of programming language mechanisms to facilitate multiple implementations of the same specification. In James R. Cordy, Mario Barbacci, editors, ICCL 92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992. pages 272-281, IEEE, 1992. [doi]

Abstract

Abstract is missing.