Reasoning about non-functional properties using compiler intrinsic function annotations

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Shashank Jadhav, Mikko Roth, Heiko Falk, Chris Brown, Adam Barwell

Journal title: Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC)

Journal publisher: TUHH

Published year: 2019

Published pages: 25-28

DOI identifier: 10.15480/882.2545