12 lines (7 loc) · 458 Bytes

cse291d

Project for CSE 291D

Topic: Synthesis for Stream Fusion

Here are some resources to get you know more about our project

Introduction slides here

Attempt One: component-based search

Attemp Two: term rewrite