A pragmatic approach to software synthesis

Burkhard Freitag; Tiziana Margaria; Bernhard Steffen

doi:10.1145/185084.185102

A pragmatic approach to software synthesis

Burkhard Freitag
, Tiziana Margaria
, Bernhard Steffen

Research output: Contribution to journal › Conference article › peer-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 language	English
Pages (from-to)	46-58
Number of pages	13
Journal	ACM SIGPLAN Notices
Volume	29
Issue number	8
DOIs	https://doi.org/10.1145/185084.185102 https://doi.org/10.1145/185087.185102
Publication status	Published - 1 Aug 1994
Externally published	Yes
Event	Workshop on Interface Definition Languages, IDL 1994 - Portland, United States Duration: 20 Jan 1994 → …

Access to Document

Cite this

@article{75f79e7c3664446ca978d7c7eccfa3ce,

title = "A pragmatic approach to software synthesis",

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.",

author = "Burkhard Freitag and Tiziana Margaria and Bernhard Steffen",

year = "1994",

month = aug,

day = "1",

doi = "10.1145/185084.185102",

language = "English",

volume = "29",

pages = "46--58",

journal = "ACM SIGPLAN Notices",

issn = "1523-2867",

number = "8",

note = "Workshop on Interface Definition Languages, IDL 1994 ; Conference date: 20-01-1994",

}

TY - JOUR

T1 - A pragmatic approach to software synthesis

AU - Freitag, Burkhard

AU - Margaria, Tiziana

AU - Steffen, Bernhard

PY - 1994/8/1

Y1 - 1994/8/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/84884589094

U2 - 10.1145/185084.185102

DO - 10.1145/185084.185102

M3 - Conference article

AN - SCOPUS:84884589094

SN - 1523-2867

VL - 29

SP - 46

EP - 58

JO - ACM SIGPLAN Notices

JF - ACM SIGPLAN Notices

IS - 8

T2 - Workshop on Interface Definition Languages, IDL 1994

Y2 - 20 January 1994

ER -

A pragmatic approach to software synthesis

Abstract

Access to Document

Other files and links

Fingerprint

Cite this