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