Data-Flow Analyses as Effects and Graded Monads.

Andrej Ivaskovic Alan Mycroft Dominic Orchard

Published in: FSCD (2020)

Keyphrases

data flow
database machine
data transfer
control flow
digital signal processing
case study
digital circuits
object oriented software
object oriented
bottle neck
systolic array