Rajagopal Nagarajan
Imperial College
November 14, 1996
Hogan Room, 531 Cory Hall
5:15 - 6:15 p.m.
We present a typed framework for the construction of dataflow networks. Such networks can be used as the underlying model of computation for signal processing systems and hardware components. Our work has applications to the type-based specification and verification of such systems. The framework we describe is semantic, and has connections to an underlying logic. We show how to construct general dataflow networks in a typed fashion, and then apply our ideas to model aspects of the synchronous, real-time, dataflow language SIGNAL.