Reasoning about non-functional properties using compiler intrinsic function annotations

Shashank Jadhav, Mikko Roth, Heiko Falk, Christopher Mark Brown, Adam David Barwell

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Search results