EECS 290n
Contents

Home
Logistics
Outline
Technology
Project
Study group
Reading

Synchronous/Reactive Models

Lecture notes

Handout on sets of functions as a CPO

Homework

Homework exercises are due in two weeks, Friday, March 13.

Reading

Assigned reading:

1. Edwards and Lee (2003). The Semantics and Execution of a Synchronous Block-Diagram Language, Science of Computer Programming
2. Frigo, Leiserson, and Randall (1998). The implementation of the Cilk-5 multithreaded language. Conference on Programming Language Design and Implementation (PLDI). (Study group paper)

Other recommended reading:

1. Benveniste and Berry (1991). The Synchronous Approach to Reactive and Real-Time Systems, Proceedings of the IEEE