Certified programming with dependent types Because the future of defense is liberal application of math

Andreas Bogk

86 min

86 min 2011-08-12

2011-08-12 2011-08-14

2011-08-14 198

198 Fahrplan

Playlists: 'camp2011' videos starting here

Dependent types expand the concept of types in programming languages by arbitrary predicates depending on the value of the type. This lecture will introduce the concept and show how it can be used to develop formally verified code.

Download

Related

Embed Share:







Tags