A Property-Based Method for Selecting Among Multiple Implementations of Modules



Christian S. Collberg and Magnus G. Krampell

Department of Computer Sciences,
Lund University,
S-221 00 Lund, Sweden.
collberg@dna.lth.se


Abstract

A method for automatic selection among multiple implementations in a modular language is presented. The method assumes, in keeping with the principle of information hiding, that only the specification part of a module is available to a user of a module. In each implementation a list of properties is included which describes the specifics of that implementation. The user of a module gives a "wish list" where she specifies what kind of implementation she wants for her particular application and the system will match the user's list of requirements against the available implementations and choose the most appropriate one. To aid users and module implementers a set of key-words that may be used to describe an implementation is included in the specification part of the module. An algorithm for selection of the most appropriate implementation is proposed together with an example.




Gzipped Postscript

GIF
Page 1 LETTER (40k) LETTER (353k)
Page 2 LETTER (47k) LETTER (410k)
Page 3 LETTER (33k) LETTER (271k)
Page 4 LETTER (28k) LETTER (210k)
Page 5 LETTER (30k) LETTER (234k)
Page 6 LETTER (39k) LETTER (331k)
Page 7 LETTER (46k) LETTER (404k)
Page 8 LETTER (37k) LETTER (305k)
Page 9 LETTER (25k) LETTER (191k)

Tar'd & Gzipped Postscript
The whole thing... LETTER (320k)

ASCII Text
The BibTeX entry BibTeX.bib (2k)


Back to Collberg's Research Page
Back to Collberg's Home Page