KIT | KIT-Bibliothek | Impressum

Polymorphic Components for Monomorphic Languages

Grosch, Franz-Josef; Snelting, Gregor

Abstract:
Most procedural programming languages, due to their restricted type systems, do not allow for polymorphic software components in the style of functional languages. Such polymorphism however greatly increases the potential for component reuse, while still guaranteeing the security of strong typing. In this paper, we show how to obtain polymorphic software components for "ordinary'' languages like C or Modula-2. Our method is based on generic type inference in a software component library. The source of polymorphism is the use of free (undeclared) names in a component. The analysis algorithm will infer signature schemes, which are analoguous to type schemes in functional languages. Signature schemes can be used to check library consistency and allow to retrieve components by usage patterns.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 1993
Sprache Englisch
Identifikator ISBN: 0-8186-3130-9
KITopen ID: 1000017611
Erschienen in Advances in software reuse - proceedings; selected papers from the second International Workshop on Software Reusability, March 24 - 26, 1993, Lucca, Italy. Ed.: R. Prieto-Díaz
Verlag IEEE Computer Soc. Press, Los Alamitos (Calif.)
Seiten 47--55
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page