License: 
Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.4.6.29
URN: urn:nbn:de:0030-drops-46839
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2014/4683/
Rehof, Jakob ;
Vardi, Moshe Y.
Weitere Beteiligte (Hrsg. etc.): Jakob Rehof and Moshe Y. Vardi
Design and Synthesis from Components (Dagstuhl Seminar 14232)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14232 "Design and Synthesis from Components" which took place from June 1st to June 6th, 2014. The seminar aimed at bringing together researchers from the component-oriented design community, researchers working on interface theories, and researchers working in synthesis, in order to explore the use of component- and interface design in program synthesis. The seminar program consisted of 6 tutorial talks (1 hour) and 16 contributed talks (30 mins) as well as joint discussion sessions. This report documents the abstracts of the talks as well as summaries of discussion sessions.
BibTeX - Entry
@Article{rehof_et_al:DR:2014:4683,
author = {Jakob Rehof and Moshe Y. Vardi},
title = {{Design and Synthesis from Components (Dagstuhl Seminar 14232)}},
pages = {29--47},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {6},
editor = {Jakob Rehof and Moshe Y. Vardi},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2014/4683},
URN = {urn:nbn:de:0030-drops-46839},
doi = {10.4230/DagRep.4.6.29},
annote = {Keywords: Component design, Component-based synthesis}
}
|
Keywords: |
|
Component design, Component-based synthesis |
|
Collection: |
|
Dagstuhl Reports, Volume 4, Issue 6 |
|
Issue Date: |
|
2014 |
|
Date of publication: |
|
24.10.2014 |
