A property-based method for selecting among multiple implementations of modules

Christian S. Collberg, Magnus G. Krampell

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationESEC 1987 - 1st European Software Engineering Conference Strasbourg, Proceedings
EditorsDan Simpson, Howard Nichols
PublisherSpringer-Verlag
Pages191-201
Number of pages11
ISBN (Print)9783540187127
DOIs
StatePublished - 1987
Externally publishedYes
Event1st European Software Engineering Conference, ESEC 1987 - Strasbourg, France
Duration: Sep 9 1987Sep 11 1987

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume289 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference1st European Software Engineering Conference, ESEC 1987
Country/TerritoryFrance
CityStrasbourg
Period9/9/879/11/87

Keywords

  • Modular languages
  • Multiple implementations

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'A property-based method for selecting among multiple implementations of modules'. Together they form a unique fingerprint.

Cite this