Integrating Dataflow Evaluation into a Practical Higher-Order Call-by-Value Language

Dataflow programming provides an elegant model for computing with values that change over time. While many domain-specific dataflow languages have been developed, this dissertations presents a novel strategy for extending existing general-purpose call-by-value languages with a notion of dataflow evaluation. This strategy has been realized in the language FrTime, an extension of PLT Scheme that runs in the DrScheme programming environment. The primary challenges in developing FrTime have been to resolve interactions between its notion of dataflow and various features of PLT Scheme. This dissertation discusses the design, semantics, and implementation of FrTime, along with several applications.