Search Results

Documents authored by Halbwachs, Nicholas


Document
04491 Abstracts Collection – Synchronous Programming - SYNCHRON'04

Authors: Stephen A. Edwards, Nicholas Halbwachs, Reinhard von Hanxleden, and Thomas Stauner

Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)


Abstract
From 28.11.04 to 03.12.04, the Dagstuhl Seminar Perspectives Workshop 04491 ``Synchronous Programming - SYNCHRON'04'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Stephen A. Edwards, Nicholas Halbwachs, Reinhard von Hanxleden, and Thomas Stauner. 04491 Abstracts Collection – Synchronous Programming - SYNCHRON'04. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{edwards_et_al:DagSemProc.04491.1,
  author =	{Edwards, Stephen A. and Halbwachs, Nicholas and von Hanxleden, Reinhard and Stauner, Thomas},
  title =	{{04491 Abstracts Collection – Synchronous Programming - SYNCHRON'04}},
  booktitle =	{Synchronous Programming - SYNCHRON'04},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4491},
  editor =	{Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.1},
  URN =		{urn:nbn:de:0030-drops-1961},
  doi =		{10.4230/DagSemProc.04491.1},
  annote =	{Keywords: Synchronous languages , executive summary , Esterel , Lustre , Signal , semantics , programming languages , real-time systems}
}
Document
04491 Executive Summary – Synchronous Programming - SYNCHRON'04

Authors: Stephen A. Edwards, Nicholas Halbwachs, Reinhard von Hanxleden, and Thomas Stauner

Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)


Abstract
This seminar was the 11th in a series of semi-annual workshops on the Synchronous Languages (Esterel, Lustre, and Signal). These languages were invented in the early 1980's to make the programming of reactive systems easier. The goal of the seminar was to bring together researchers and practitioners of synchronous programming, and furthermore to reach out to relevant related areas and industrial users.

Cite as

Stephen A. Edwards, Nicholas Halbwachs, Reinhard von Hanxleden, and Thomas Stauner. 04491 Executive Summary – Synchronous Programming - SYNCHRON'04. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{edwards_et_al:DagSemProc.04491.2,
  author =	{Edwards, Stephen A. and Halbwachs, Nicholas and von Hanxleden, Reinhard and Stauner, Thomas},
  title =	{{04491 Executive Summary – Synchronous Programming - SYNCHRON'04}},
  booktitle =	{Synchronous Programming - SYNCHRON'04},
  pages =	{1--7},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4491},
  editor =	{Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.2},
  URN =		{urn:nbn:de:0030-drops-1959},
  doi =		{10.4230/DagSemProc.04491.2},
  annote =	{Keywords: Synchronous languages , executive summary , Esterel , Lustre , signal , semantics , programming languages , real-time systems}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail