Reasoning about non-functional properties using compiler intrinsic function annotations

Shashank Jadhav, Mikko Julian Roth, Heiko Falk, Chris Brown & Adam Barwell
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.