Matches in SemOpenAlex for { <https://semopenalex.org/work/W3204144457> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W3204144457 abstract "The year 2019 saw the 70th anniversary to Alan Turing’s 1949 paper, “Checking a Large Routine” and the 50th anniversary of Tony Hoare’s paper, “An Axiomatic Basis for Compuer Programming”. In the latter paper, Hoare stated: “When the correctness of a program, its compiler, and the hardware of the computer have all been established with mathematical certainty, it will be possible to place great reliance on the results of the program, and predict their properties with a confidence limited only by the reliability of the electronics.” In this talk, I will review the history of this vision, describing the obstacles, the controversies, and progress milestones. I will conclude with the description of both impressive progress and dramatic failures exhibited over the past few years." @default.
- W3204144457 created "2021-10-11" @default.
- W3204144457 creator A5000059818 @default.
- W3204144457 date "2021-08-01" @default.
- W3204144457 modified "2023-09-30" @default.
- W3204144457 title "Program Verification: a 70+- Year History" @default.
- W3204144457 cites W1593428110 @default.
- W3204144457 cites W2005973420 @default.
- W3204144457 cites W2012213337 @default.
- W3204144457 cites W2023808162 @default.
- W3204144457 cites W2026858610 @default.
- W3204144457 cites W2048355938 @default.
- W3204144457 cites W2075033069 @default.
- W3204144457 cites W2076409494 @default.
- W3204144457 cites W2884432391 @default.
- W3204144457 cites W2987907651 @default.
- W3204144457 cites W3036557299 @default.
- W3204144457 cites W4206734868 @default.
- W3204144457 cites W4251912342 @default.
- W3204144457 doi "https://doi.org/10.1109/tase52547.2021.00011" @default.
- W3204144457 hasPublicationYear "2021" @default.
- W3204144457 type Work @default.
- W3204144457 sameAs 3204144457 @default.
- W3204144457 citedByCount "0" @default.
- W3204144457 crossrefType "proceedings-article" @default.
- W3204144457 hasAuthorship W3204144457A5000059818 @default.
- W3204144457 hasConcept C104949639 @default.
- W3204144457 hasConcept C11413529 @default.
- W3204144457 hasConcept C115903868 @default.
- W3204144457 hasConcept C121332964 @default.
- W3204144457 hasConcept C163258240 @default.
- W3204144457 hasConcept C169590947 @default.
- W3204144457 hasConcept C199360897 @default.
- W3204144457 hasConcept C2778653333 @default.
- W3204144457 hasConcept C41008148 @default.
- W3204144457 hasConcept C43214815 @default.
- W3204144457 hasConcept C55439883 @default.
- W3204144457 hasConcept C62520636 @default.
- W3204144457 hasConcept C9870796 @default.
- W3204144457 hasConceptScore W3204144457C104949639 @default.
- W3204144457 hasConceptScore W3204144457C11413529 @default.
- W3204144457 hasConceptScore W3204144457C115903868 @default.
- W3204144457 hasConceptScore W3204144457C121332964 @default.
- W3204144457 hasConceptScore W3204144457C163258240 @default.
- W3204144457 hasConceptScore W3204144457C169590947 @default.
- W3204144457 hasConceptScore W3204144457C199360897 @default.
- W3204144457 hasConceptScore W3204144457C2778653333 @default.
- W3204144457 hasConceptScore W3204144457C41008148 @default.
- W3204144457 hasConceptScore W3204144457C43214815 @default.
- W3204144457 hasConceptScore W3204144457C55439883 @default.
- W3204144457 hasConceptScore W3204144457C62520636 @default.
- W3204144457 hasConceptScore W3204144457C9870796 @default.
- W3204144457 hasLocation W32041444571 @default.
- W3204144457 hasOpenAccess W3204144457 @default.
- W3204144457 hasPrimaryLocation W32041444571 @default.
- W3204144457 hasRelatedWork W1487643886 @default.
- W3204144457 hasRelatedWork W1885991348 @default.
- W3204144457 hasRelatedWork W1936017528 @default.
- W3204144457 hasRelatedWork W2003848320 @default.
- W3204144457 hasRelatedWork W2192862863 @default.
- W3204144457 hasRelatedWork W2245390655 @default.
- W3204144457 hasRelatedWork W2996838589 @default.
- W3204144457 hasRelatedWork W3204144457 @default.
- W3204144457 hasRelatedWork W4252501555 @default.
- W3204144457 hasRelatedWork W1602178951 @default.
- W3204144457 isParatext "false" @default.
- W3204144457 isRetracted "false" @default.
- W3204144457 magId "3204144457" @default.
- W3204144457 workType "article" @default.