Rate Types for Stream Programs
<p> RATE TYPES is a novel type system to reason about and optimize data-intensive programs. Built around stream languages, RATE TYPES performs static quantitative reasoning about <i>stream rates</i>—the frequency of data items in a stream being consumed, processed, and pr...
| Main Author: | |
|---|---|
| Language: | EN |
| Published: |
State University of New York at Binghamton
2017
|
| Subjects: | |
| Online Access: | http://pqdtopen.proquest.com/#viewpdf?dispub=10643063 |