Back To Schedule
Monday, April 8 • 12:30pm - 12:55pm
Adding support for C++ contracts to Clang

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

A language supporting contract-checking allows to detect programming errors. Also, making this information available to the compiler may cause it to perform additional optimizations.

This paper presents our implementation of the P0542R5 technical specification (now part of the C++20 working draft).

avatar for Javier López-Gómez

Javier López-Gómez

Computer Science PhD. student, University Carlos III of Madrid
I am a software enginner and PhD. student passionate about computer architecture, embedded systems, electronics, compilers (and, in general, anything that is low-level).

Monday April 8, 2019 12:30pm - 12:55pm CEST