Combinatory logic synthesizer
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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.
Originalsprog | Engelsk |
---|---|
Titel | Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings |
Redaktører | Tiziana Margaria, Bernhard Steffen, Tiziana Margaria |
Antal sider | 15 |
Forlag | Springer Verlag |
Publikationsdato | 1 jan. 2014 |
Sider | 26-40 |
ISBN (Elektronisk) | 9783662452332 |
DOI | |
Status | Udgivet - 1 jan. 2014 |
Eksternt udgivet | Ja |
Begivenhed | 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 - Imperial, Corfu, Grækenland Varighed: 8 okt. 2014 → 11 okt. 2014 |
Konference
Konference | 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 |
---|---|
Land | Grækenland |
By | Imperial, Corfu |
Periode | 08/10/2014 → 11/10/2014 |
Sponsor | Bioinformatics and Human Electrophysiology Lab, EASST, technische universitat dortmund |
Navn | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Vol/bind | 8802 |
ISSN | 0302-9743 |
ID: 230702416