Standard
Combinatory Logic Synthesizer. / Bessai, Jan; Dudenhefner, Andrej; Duedder, Boris; Martens, Moritz.
Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change: 6th International Symposium, ISoLA 2014 Imperial, Corfu, Greece, October 8–11, 2014 Proceedings, Part I. Springer, 2014. p. 26-40 (Lecture Notes in Computer Science, Vol. 8802).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Bessai, J, Dudenhefner, A
, Duedder, B & Martens, M 2014,
Combinatory Logic Synthesizer. in
Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change: 6th International Symposium, ISoLA 2014 Imperial, Corfu, Greece, October 8–11, 2014 Proceedings, Part I. Springer, Lecture Notes in Computer Science, vol. 8802, pp. 26-40. <
https://link.springer.com/chapter/10.1007/978-3-662-45234-9_3>
APA
Bessai, J., Dudenhefner, A.
, Duedder, B., & Martens, M. (2014).
Combinatory Logic Synthesizer. In
Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change: 6th International Symposium, ISoLA 2014 Imperial, Corfu, Greece, October 8–11, 2014 Proceedings, Part I (pp. 26-40). Springer. Lecture Notes in Computer Science Vol. 8802
https://link.springer.com/chapter/10.1007/978-3-662-45234-9_3
Vancouver
Bessai J, Dudenhefner A, Duedder B, Martens M. Combinatory Logic Synthesizer. In Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change: 6th International Symposium, ISoLA 2014 Imperial, Corfu, Greece, October 8–11, 2014 Proceedings, Part I. Springer. 2014. p. 26-40. (Lecture Notes in Computer Science, Vol. 8802).
Author
Bessai, Jan ; Dudenhefner, Andrej ; Duedder, Boris ; Martens, Moritz. / Combinatory Logic Synthesizer. Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change: 6th International Symposium, ISoLA 2014 Imperial, Corfu, Greece, October 8–11, 2014 Proceedings, Part I. Springer, 2014. pp. 26-40 (Lecture Notes in Computer Science, Vol. 8802).
Bibtex
@inproceedings{cd3e7ec4a1b7484ca5165924b6a1f5cd,
title = "Combinatory Logic Synthesizer",
abstract = "We present Combinatory Logic Synthesizer (CL)S, a type-based 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 Duedder and Moritz Martens",
year = "2014",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "26--40",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change",
address = "Switzerland",
}
RIS
TY - GEN
T1 - Combinatory Logic Synthesizer
AU - Bessai, Jan
AU - Dudenhefner, Andrej
AU - Duedder, Boris
AU - Martens, Moritz
PY - 2014
Y1 - 2014
N2 - We present Combinatory Logic Synthesizer (CL)S, a type-based 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 type-based 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://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000349021200003&KeyUID=WOS:000349021200003
M3 - Article in proceedings
T3 - Lecture Notes in Computer Science
SP - 26
EP - 40
BT - Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change
PB - Springer
ER -