Combinatory Logic Synthesizer
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
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.
Original language | English |
---|---|
Title of host publication | 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 |
Publisher | Springer |
Publication date | 2014 |
Pages | 26-40 |
Publication status | Published - 2014 |
Externally published | Yes |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 8802 |
ISSN | 0302-9743 |
Links
- https://link.springer.com/chapter/10.1007/978-3-662-45234-9_3
Final published version
ID: 273769182