Combinatory logic synthesizer

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

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.

OriginalsprogEngelsk
TitelLeveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings
RedaktørerTiziana Margaria, Bernhard Steffen, Tiziana Margaria
Antal sider15
ForlagSpringer Verlag
Publikationsdato1 jan. 2014
Sider26-40
ISBN (Elektronisk)9783662452332
DOI
StatusUdgivet - 1 jan. 2014
Eksternt udgivetJa
Begivenhed6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 - Imperial, Corfu, Grækenland
Varighed: 8 okt. 201411 okt. 2014

Konference

Konference6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014
LandGrækenland
ByImperial, Corfu
Periode08/10/201411/10/2014
SponsorBioinformatics and Human Electrophysiology Lab, EASST, technische universitat dortmund
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind8802
ISSN0302-9743

ID: 230702416