DocumentCode
3256442
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
fYear
1992
fDate
28-30 May 1992
Firstpage
96
Lastpage
99
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computing and Information, 1992. Proceedings. ICCI '92., Fourth International Conference on
Conference_Location
Toronto, Ont.
Print_ISBN
0-8186-2812-X
Type
conf
DOI
10.1109/ICCI.1992.227696
Filename
227696
Link To Document