https://peertube.watch/videos/watch/15836e73-1748-4e40-bf36-2ec04eb04142 Contract-based programming is a software development technique, where you include assertions of program properties as a part of the compiled source text. In the strict form, the assertions are checked at compile-time, but in this presentation I will focus on the more common, less strict, form, where at least some of the assertions aren't checked until run-time. Ada gives us a lot of help, so we can write the our assertions about the program properties once, and then have the compiler insert actual run-time checks wherever there is a possibility that the assertion is violated. This presentation will focus on how we can write these contracts in Ada in a way that make them effective at ensuring that our source text does what we intend it to and allow the compiler to generate efficient checks of the assertions. The intended audience is anybody with enough programming experience to know concepts like types, encapsulation and packages. Having tried to write Ada before will be a benefit, but it isn't a requirement. Speaker: Jacob Sparre Andersen, Track: Ada, Room: AW1.125, When: Saturday 3 February 2018, 14:00–14:50 (Brussels time), Schedule: FOSDEM 2018 event page, Slides & links More info on Ada-Belgium web site, Licence: Creative Commons Attribution 2.0 Belgium (CC BY 2.0 BE) (as stated in the FOSDEM video archive). Attribution: “Contract-based Programming: a Route to Finding Bugs Earlier” by Jacob Sparre Andersen, FOSDEM 2018. Original recording: 2018/AW1.125/ada_contracts.webm from the FOSDEM video archive. This channel is an unofficial mirror; FOSDEM is a free and non-commercial event organised by the community for the community. Sun, 11 Oct 2026 02:55:58 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://peertube.watch https://peertube.watch/lazy-static/avatars/3b284627-b75f-409e-ac2e-10f4c2946f43.png https://peertube.watch/videos/watch/15836e73-1748-4e40-bf36-2ec04eb04142 All rights reserved, unless otherwise specified in the terms specified at https://peertube.watch/about and potential licenses granted by each content's rightholder.