Skip to content
sahil.science
Questions
Papers
Topics
Syntheses
Almanac
About
C⁶
2026
← Questions
Source-derived question
How did Robert Floyd's 1967 paper 'Assigning Meanings to Programs' lay the groundwork for Hoare logic?
Algorithms and Data Structures
Operating Systems and Software
Sources that address it
ACM A.M. Turing Award
almanac
Related questions
What software libraries did Jack Dongarra build that underpin modern scientific computing?
What techniques did Frances Allen develop for analyzing programs before they run?
What were the EWDs, and why are Dijkstra's handwritten manuscripts still read today?
Where do Hopcroft and Tarjan's algorithms show up invisibly in modern computing infrastructure?
Which programming language features pioneered by LISP spread into later languages?
Why did Tony Hoare call the null pointer his 'billion-dollar mistake'?
Why did programmers in the 1960s and 1970s choose to represent years with only two digits?
Why did storing years as two digits threaten computer systems at the 1999-to-2000 rollover?