An Intermediate Program Representation for Optimizing Stream-Based Languages.
Jan Baumeister, Arthur Correnson, Bernd Finkbeiner, Frederik Scheerer
Browse the full CAV paper archive.
Jan Baumeister, Arthur Correnson, Bernd Finkbeiner, Frederik Scheerer
Browse the full CAV paper archive.