CÉU: EMBEDDED, SAFE, AND REACTIVE PROGRAMMING

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[3]  Jeff Rose,et al.  MANTIS OS: An Embedded Multithreaded Operating System for Wireless Micro Sensor Platforms , 2005, Mob. Networks Appl..

[4]  Robert de Simone,et al.  The Synchronous Hypothesis and Synchronous Languages , 2005, Embedded Systems Handbook.

[5]  Roberto Ierusalimschy,et al.  Revisiting coroutines , 2009, TOPL.

[6]  Marvin Theimer,et al.  Cooperative Task Management Without Manual Stack Management , 2002, USENIX Annual Technical Conference, General Track.

[7]  Roberto Ierusalimschy,et al.  A text pattern-matching tool based on Parsing Expression Grammars , 2009 .

[8]  William W. Wadge,et al.  Lucid, a nonprocedural language with iteration , 1977, CACM.

[9]  Cormac J. Sreenan,et al.  A Comprehensive Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems , 2008, J. Networks.

[10]  Philip Levis,et al.  The nesC language: a holistic approach to networked embedded systems , 2003, SIGP.

[11]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[12]  Kay Römer,et al.  Beyond event handlers: programming wireless sensors with attributed state machines , 2005, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..

[13]  Muneeb Ali,et al.  Protothreads: simplifying event-driven programming of memory-constrained embedded systems , 2006, SenSys '06.

[14]  Paul Hudak,et al.  Functional reactive programming from first principles , 2000, PLDI '00.

[15]  Robert Szewczyk,et al.  System architecture directions for networked sensors , 2000, ASPLOS IX.