-
Notifications
You must be signed in to change notification settings - Fork 1
Related works
Rémy Besognet El Sibaïe edited this page May 10, 2016
·
2 revisions
The pendulum programming languages extension design is mainly based on Esterel's constructions and semantics [1,2]. Some parts of the compiler are an implementation of the control flow graph technic detailed in [1]. The interleaving algorithm and ML code generation* are home-made.
The global idea of synchronous web in a typed context is not new and inspired by two great softwares. ReactiveML [3] inspired us the typing part except it's a language itself, compiling to OCaml and not a synctactic extension. Moreover we prefere using the static compilation of concurrency beside the dynamic runtime. Hop and HipHop [4]
- Dimitri Potop-Butucaru, Gerard Berry. Compiling Esterel. p145-173. Springer, Berlin, 2007.
- Gerard Berry. The constructive semantic of pure Esterel. 1999.
- Louis Mandel, Marc Pouzet. Reactiveml : A reactive extension to ML. ACM, Lisbon, 2005 (website)
- Gérard Berry and Manuel Serrano. Hop and HipHop : Multitier web orchestration. 2013.