'State f' diaporamas de présentation

Giotto

Giotto. A Time-Triggered Language for Embedded Programming. Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch UC Berkeley. Embedded Programming. Giotto is a time-triggered and platform independent programming language Giotto aims at hard real-time applications

1.39k views • 93 slides

Monads

Monads. A monad orders actions. An action is any computation that has a natural notion of order. I.e. one thing happens before another. IO is the action of altering the real world. There are many other styles of computation that have a natural notion of order

488 views • 35 slides

1.64k views • 25 slides