theruran ππ΄
worth posting this again, for those programmers who are having wicked thoughts of writing security-critical software in C or C++ Source: "Exploitation in the era of #formalVerification: A peek at a new frontier with #Ada / #SPARK" by Adam Zabrocki and Alex Tereshkin, #DEFCON30, 2022 2 comments
Kensan
@tychosoft @theruran Maintainability was item 1C in the Steelman language requirement, out of which Ada came: βThe language should promote ease of program maintenance. It should emphasize program readability. The language should encourage user documentation of programs.β The language designers understood that source code is many more times read than written. |
Gregory's Server
@theruran ada is what became of algol and jovial. It is a bit chatty, but seems particularly screen-reader friendly by being so.