Let’s Get High (Assurance) - Forward 3 Web Summit
351 views · Published 21 October 2015 · 27:12 · Indexed 12 November 2026
Channel: InfoQ · 2015 · Science & Technology
Justin Leitgeb: This talk will start by defining high assurance as it is used in the software industry, and why full-stack developers should care about such a concept. Rather than focusing on academic principles, this talk will give concrete examples of how several types of “high assurance” software practices can lead to reduced software costs and more predictable development timelines. The talk will include: Introduction to expressive types, as present in Haskell. Dependent types, as found in languages such as Idris. Proof-carrying code, as can be created in systems such as Coq. At the end of the presentation, programmers in the audience should have a better idea of advanced software tools and techniques that may warrant further investigation in order to produce systems with reduced cost and better results. http://forwardjs.com
More from this channel
-
1:13:58
Learn about Chrome OS and Chrome Web Store from Google
-
43:55
Android Builders Summit - Android: Beyond the Phone by Marko Gargenta
-
14:53
PhoneGap Ecosystem (part 2 of 2) - cross-platform app development in the cloud with PhoneGap Build
-
1:14:37
HTML5 Multimedia with Bruce Lawson
-
31:25
Scalability and Performance - Scaling an App Agile Style
-
22:35
Building Smart Async Functions For Mobile
-
41:30
Presentation: Google+ and the +1 Button from Timothy Jordan of Google
-
24:20
Getting the Native Feel: JavaScript for Mobile & Tablet Web Apps