Standard
Combinatory logic synthesizer. / Bessai, Jan; Dudenhefner, Andrej; Düdder, Boris; Martens, Moritz; Rehof, Jakob.
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
Harvard
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.
https://doi.org/10.1007/978-3-662-45234-9_3APA
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 (pp. 26-40). Springer Verlag. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 8802
https://doi.org/10.1007/978-3-662-45234-9_3Vancouver
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).
https://doi.org/10.1007/978-3-662-45234-9_3Author
Bessai, Jan ; Dudenhefner, Andrej ; Düdder, Boris ; Martens, Moritz ; Rehof, Jakob. / 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).
Bibtex
@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",
doi = "10.1007/978-3-662-45234-9_3",
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",
}
RIS
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
U2 - 10.1007/978-3-662-45234-9_3
DO - 10.1007/978-3-662-45234-9_3
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 -
