Loading…
C++Now 2014 has ended
Please visit the C++Now website.
Tuesday, May 13 • 9:00am - 10:30am
Keynote: Axiomatic Programming: From Euclidean Deductions to C++ Templates and Beyond

Log in to save this to your schedule and see who's attending!

Axiomatic Programming is commonly defined as structured generic programming. Not unlike Euclidean Geometry, it relies on a simple, constructive, logical system. It lies at the foundation of the STL and many successful generic libraries. This talk focuses on tools support and illustrates how ideas and methods from automated deduction and proof theory influence current and future possible developments of C++ templates.


Speakers
avatar for Gabriel Dos Reis

Gabriel Dos Reis

Gabriel Dos Reis is a Principal Software Development Engineer at Microsoft. He is also a researcher and a longtime member of the C++ community.  His research interests include programming tools for dependable software. Prior to joining Microsoft, he was Assistant Professor at Texas... Read More →


Tuesday May 13, 2014 9:00am - 10:30am
Paepcke

Attendees (0)