[HN Gopher] Margaret Hamilton oral history (2017)
       ___________________________________________________________________
        
       Margaret Hamilton oral history (2017)
        
       Author : sohkamyung
       Score  : 39 points
       Date   : 2022-03-14 03:48 UTC (19 hours ago)
        
 (HTM) web link (www.computerhistory.org)
 (TXT) w3m dump (www.computerhistory.org)
        
       | carapace wrote:
       | Ah! Gold!
       | 
       | I found Hamilton's work described in a book "System Design from
       | Provably Correct Constructs"
       | https://archive.org/details/systemdesignfrom00mart many years
       | ago. You build something like an Abstract Syntax Tree using
       | operations that preserve certain correctness properties, thus
       | eliminating many categories of bugs. It grew out of her work on
       | Apollo 11.
       | 
       | She's credited with coining the term "software engineering".
        
       | [deleted]
        
       ___________________________________________________________________
       (page generated 2022-03-14 23:01 UTC)