- Oggetto:
Connector Synthesis in Combinatory Logic
- Oggetto:
Connector Synthesis in Combinatory Logic
- Oggetto:
Academic year 2013/2014
- Course ID
- SEM-CSCL
- Teaching period
- Seminario
- Type
- Seminario
- Course disciplinary sector (SSD)
- INF/01 - informatica
- Delivery
- Tradizionale
- Language
- Inglese
- Attendance
- Facoltativa
- Type of examination
- Non prevista
- Oggetto:
Sommario del corso
- Oggetto:
Program
Combinatory Logic Synthesis is a new type-based approach towards automatic synthesis of software from componentsin a repository. The method is based on inhabitation in combinatory logic with intersection types.In this talk it is shown how the type-based approach can naturally be used to exploit taxonomic conceptualstructures in architectures and repositories to enable automatic composition, configuration and code generation,by associating taxonomic concepts to architectural building blocks such as, e.g., connectors.A central optimization strategy for solving the inhabitation problem, which has been implementedin our composition framework, will also be discussed.Suggested readings and bibliography
- Oggetto:
Class schedule
Days Time Classroom Lunedì 14:00 - 16:00 Sala Seminari Dipartimento di Informatica Lessons: dal 25/11/2013 to 25/11/2013
- Oggetto:
Note
The seminar will be held by Dr. Boris Duedder, University of Dortmund.
- Oggetto:
