Title :
Dynamic genericity in imperative languages: example in CML
Author :
Soliman, Hamdy S. ; Johnston, John B.
Author_Institution :
Dept. of Comput. Sci., New Mexico Inst. of Min. & Technol., Socorro, NM, USA
Abstract :
Genericity, a form of polymorphism, is implemented through generic abstract data types (GADTs) generators in most modern programming languages. The GADTs are used for both compile time (static) and run time (dynamic) instantiations of concrete abstract data types. The paper introduces the implementation of a new approach to dynamic genericity which utilizes the polymorphic GADT feature in a secure, efficient, and powerful way for the first time in a newly developed imperative programming language, Contour Model Language (CML)
Keywords :
abstract data types; high level languages; type theory; CML; Contour Model Language; dynamic genericity; generic abstract data types; imperative programming language; polymorphic GADT; Computer languages; Computer science; Concrete; Data structures; Dynamic programming; Electronic mail; Explosions; Modems; Software reusability; Software tools;
Conference_Titel :
Computing and Information, 1992. Proceedings. ICCI '92., Fourth International Conference on
Conference_Location :
Toronto, Ont.
Print_ISBN :
0-8186-2812-X
DOI :
10.1109/ICCI.1992.227696
