4 ms·

The main influence is Esterel, but we visited most synchronous literature (including Lucid). We also take the syntax from Pascal/Lua and the basic types and ex

The main influence is Esterel, but we visited most synchronous literature (including Lucid). We also take the syntax from Pascal/Lua and the basic types and expressions from C (due to source compatibility).

agumonkey 10y ago
Thanks a lot. We had a class in esterel in college, but it flew over my head at the time, sadly. Time to revisit the whole thing. May I ask you if you have some favorite references/papers about the subject ?
- fsantanna 10y ago
  The early papers about Esterel and the synchronous model, e.g.: - Gérard Berry: "Real time programming: Special purpose or general purpose languages" For the semantics, I like this paper focusing on abortion (for me, the most expressive construct of synchronous languages): - Gérard Berry: "Preemption in Concurrent Systems" There's also a well-known survey: - Albert Benveniste: "The synchronous languages 12 years later" This one is about bridging the gap between synchronous and asynchronous, something like Esterel+CSP: - Gérard Berry: "Communicating reactive processes" For a modern take (besides Céu), check ReactiveML: - Louis Mandel: "ReactiveML: a reactive extension to ML" You can also search for papers from professors Stephen A. Edwards and Reinhard von Hanxleden which still work actively on the subject.
  - catwell 10y ago
    For those who are interested in synchronous reactive programming and speak French, Gérard Berry gave lectures about it (and time-related topics in general) at Collège de France, along with other teachers including M. Pouzet. Videos are publicly available, check out: http://www.college-de-france.fr/site/gerard-berry/course-2012-2013.htm http://www.college-de-france.fr/site/gerard-berry/course-201... http://www.college-de-france.fr/site/gerard-berry/course-2013-2014.htm http://www.college-de-france.fr/site/gerard-berry/course-201... (In 2014 - 2016 he moved on to program proofs, which may also interest some of you.)
    - agumonkey 10y ago
      Cool, I missed those.
  - agumonkey 10y ago
    Amazing, I'm off to read. ps: fun, Louis Mandel co-author (M.Pouzet) was a compiler teacher at my college.

agumonkey 10y ago

Thanks a lot. We had a class in esterel in college, but it flew over my head at the time, sadly. Time to revisit the whole thing. May I ask you if you have some favorite references/papers about the subject ?

fsantanna 10y ago
The early papers about Esterel and the synchronous model, e.g.: - Gérard Berry: "Real time programming: Special purpose or general purpose languages" For the semantics, I like this paper focusing on abortion (for me, the most expressive construct of synchronous languages): - Gérard Berry: "Preemption in Concurrent Systems" There's also a well-known survey: - Albert Benveniste: "The synchronous languages 12 years later" This one is about bridging the gap between synchronous and asynchronous, something like Esterel+CSP: - Gérard Berry: "Communicating reactive processes" For a modern take (besides Céu), check ReactiveML: - Louis Mandel: "ReactiveML: a reactive extension to ML" You can also search for papers from professors Stephen A. Edwards and Reinhard von Hanxleden which still work actively on the subject.
- catwell 10y ago
  For those who are interested in synchronous reactive programming and speak French, Gérard Berry gave lectures about it (and time-related topics in general) at Collège de France, along with other teachers including M. Pouzet. Videos are publicly available, check out: http://www.college-de-france.fr/site/gerard-berry/course-2012-2013.htm http://www.college-de-france.fr/site/gerard-berry/course-201... http://www.college-de-france.fr/site/gerard-berry/course-2013-2014.htm http://www.college-de-france.fr/site/gerard-berry/course-201... (In 2014 - 2016 he moved on to program proofs, which may also interest some of you.)
  - agumonkey 10y ago
    Cool, I missed those.
- agumonkey 10y ago
  Amazing, I'm off to read. ps: fun, Louis Mandel co-author (M.Pouzet) was a compiler teacher at my college.