Combinatory logic synthesizer

Jan Bessai; Andrej Dudenhefner; Boris Düdder; Moritz Martens; Jakob Rehof

Combinatory logic synthesizer

Jan Bessai^*, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof

^*Corresponding author for this work

19 Citations (Scopus)

Abstract

We present Combinatory Logic Synthesizer (CL)S, a typebased tool to automatically compose larger systems from repositories of components. We overview its underlying theory, combinatory logic with intersection types, and exemplify its application to synthesis.We describe features and architecture of the tool and our plans for its ongoing and future development. Finally, we present some use cases in ongoing work, especially in the context of synthesis for Object Oriented Software.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings
Editors	Tiziana Margaria, Bernhard Steffen, Tiziana Margaria
Number of pages	15
Publisher	Springer Verlag
Publication date	1 Jan 2014
Pages	26-40
ISBN (Electronic)	9783662452332
Publication status	Published - 1 Jan 2014
Event	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 - Imperial, Corfu, Greece Duration: 8 Oct 2014 → 11 Oct 2014

Conference

Conference	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014
Country/Territory	Greece
City	Imperial, Corfu
Period	08/10/2014 → 11/10/2014
Sponsor	Bioinformatics and Human Electrophysiology Lab, EASST, technische universitat dortmund

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8802
ISSN	0302-9743

Cite this

Combinatory logic synthesizer. / Bessai, Jan; Dudenhefner, Andrej; Düdder, Boris et al.
Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. ed. / Tiziana Margaria; Bernhard Steffen; Tiziana Margaria. Springer Verlag, 2014. p. 26-40 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8802).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Bessai, J, Dudenhefner, A, Düdder, B, Martens, M & Rehof, J 2014, Combinatory logic synthesizer. in T Margaria, B Steffen & T Margaria (eds), Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. Springer Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8802, pp. 26-40, 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, Imperial, Corfu, Greece, 08/10/2014.

Bessai J, Dudenhefner A, Düdder B, Martens M, Rehof J. Combinatory logic synthesizer. In Margaria T, Steffen B, Margaria T, editors, Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. Springer Verlag. 2014. p. 26-40. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8802).

Bessai, Jan ; Dudenhefner, Andrej ; Düdder, Boris et al. / Combinatory logic synthesizer. Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. editor / Tiziana Margaria ; Bernhard Steffen ; Tiziana Margaria. Springer Verlag, 2014. pp. 26-40 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8802).

@inproceedings{41dfc4b311ac4b3fb6836bde3b56221e,

title = "Combinatory logic synthesizer",

abstract = "We present Combinatory Logic Synthesizer (CL)S, a typebased tool to automatically compose larger systems from repositories of components. We overview its underlying theory, combinatory logic with intersection types, and exemplify its application to synthesis.We describe features and architecture of the tool and our plans for its ongoing and future development. Finally, we present some use cases in ongoing work, especially in the context of synthesis for Object Oriented Software.",

author = "Jan Bessai and Andrej Dudenhefner and Boris D{\"u}dder and Moritz Martens and Jakob Rehof",

year = "2014",

month = jan,

day = "1",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "26--40",

editor = "Tiziana Margaria and Bernhard Steffen and Tiziana Margaria",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings",

note = "6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 ; Conference date: 08-10-2014 Through 11-10-2014",

}

TY - GEN

T1 - Combinatory logic synthesizer

AU - Bessai, Jan

AU - Dudenhefner, Andrej

AU - Düdder, Boris

AU - Martens, Moritz

AU - Rehof, Jakob

PY - 2014/1/1

Y1 - 2014/1/1

N2 - We present Combinatory Logic Synthesizer (CL)S, a typebased tool to automatically compose larger systems from repositories of components. We overview its underlying theory, combinatory logic with intersection types, and exemplify its application to synthesis.We describe features and architecture of the tool and our plans for its ongoing and future development. Finally, we present some use cases in ongoing work, especially in the context of synthesis for Object Oriented Software.

AB - We present Combinatory Logic Synthesizer (CL)S, a typebased tool to automatically compose larger systems from repositories of components. We overview its underlying theory, combinatory logic with intersection types, and exemplify its application to synthesis.We describe features and architecture of the tool and our plans for its ongoing and future development. Finally, we present some use cases in ongoing work, especially in the context of synthesis for Object Oriented Software.

UR - http://www.scopus.com/inward/record.url?scp=84910634270&partnerID=8YFLogxK

M3 - Article in proceedings

AN - SCOPUS:84910634270

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 26

EP - 40

BT - Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

A2 - Margaria, Tiziana

PB - Springer Verlag

T2 - 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014

Y2 - 8 October 2014 through 11 October 2014

ER -

Combinatory logic synthesizer

Abstract

Conference

Other files and links

Fingerprint

Cite this