Skip to content

An Intermediate Program Representation for Optimizing Stream-Based Languages.

Jan Baumeister, Arthur Correnson, Bernd Finkbeiner, Frederik Scheerer

VenueA*CAV
Year2025
ProceedingsCAV (3)

Browse the full CAV paper archive.