A pragmatic approach to software synthesis

Burkhard Freitag, Tiziana Margaria, Bernhard Steffen

Research output: Contribution to journalConference articlepeer-review

Abstract

We present a practice oriented tool for software synthesis that supports the interface-correct configuration of complex systems from a library of reusable software components. Besides simply checking the interface-correctness of a link by means of type constraints, the tool is also designed to propose software components for solving a (loosely) specified problem within a certain context. In particular, it identifies possible interfacing modules that in case of an interface-conflict may serve for the right conversion, transformation or parameter configuration. We illustrate our tool, which is based on the deductive database system LOLA, in three application specific settings.

Original languageEnglish
Pages (from-to)46-58
Number of pages13
JournalACM SIGPLAN Notices
Volume29
Issue number8
DOIs
Publication statusPublished - 1 Aug 1994
Externally publishedYes
EventWorkshop on Interface Definition Languages, IDL 1994 - Portland, United States
Duration: 20 Jan 1994 → …

Fingerprint

Dive into the research topics of 'A pragmatic approach to software synthesis'. Together they form a unique fingerprint.

Cite this