Matches in SemOpenAlex for { <https://semopenalex.org/work/W23185817> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W23185817 abstract "Proof of clean termination is a useful sub-goal in the process of proving that a program is totally correct. Clean termination means that the program terminates (no infinite loops) and that it does so normally, without any execution-time semantic errors (integer overflow, use of undefined variables, subscript out of range, etc.). In contrast to proofs of correctness, proof of clean termination requires no extensive annotation of a program by a human user, but the proof says nothing about the results calculated by the program, just that whatever it does, it terminates cleanly. Two example proofs are given, of previously published programs: TREESORT3 by Robert Floyd, and SELECT by Ronald L. Rivest and Robert Floyd." @default.
- W23185817 created "2016-06-24" @default.
- W23185817 creator A5004581362 @default.
- W23185817 date "1974-05-01" @default.
- W23185817 modified "2023-09-23" @default.
- W23185817 title "Some thoughts on proving clean termination of programs." @default.
- W23185817 hasPublicationYear "1974" @default.
- W23185817 type Work @default.
- W23185817 sameAs 23185817 @default.
- W23185817 citedByCount "2" @default.
- W23185817 countsByYear W231858172017 @default.
- W23185817 countsByYear W231858172021 @default.
- W23185817 crossrefType "journal-article" @default.
- W23185817 hasAuthorship W23185817A5004581362 @default.
- W23185817 hasConcept C108710211 @default.
- W23185817 hasConcept C111472728 @default.
- W23185817 hasConcept C118615104 @default.
- W23185817 hasConcept C136815107 @default.
- W23185817 hasConcept C138885662 @default.
- W23185817 hasConcept C199360897 @default.
- W23185817 hasConcept C2524010 @default.
- W23185817 hasConcept C33923547 @default.
- W23185817 hasConcept C41008148 @default.
- W23185817 hasConcept C55439883 @default.
- W23185817 hasConcept C80444323 @default.
- W23185817 hasConceptScore W23185817C108710211 @default.
- W23185817 hasConceptScore W23185817C111472728 @default.
- W23185817 hasConceptScore W23185817C118615104 @default.
- W23185817 hasConceptScore W23185817C136815107 @default.
- W23185817 hasConceptScore W23185817C138885662 @default.
- W23185817 hasConceptScore W23185817C199360897 @default.
- W23185817 hasConceptScore W23185817C2524010 @default.
- W23185817 hasConceptScore W23185817C33923547 @default.
- W23185817 hasConceptScore W23185817C41008148 @default.
- W23185817 hasConceptScore W23185817C55439883 @default.
- W23185817 hasConceptScore W23185817C80444323 @default.
- W23185817 hasLocation W231858171 @default.
- W23185817 hasOpenAccess W23185817 @default.
- W23185817 hasPrimaryLocation W231858171 @default.
- W23185817 hasRelatedWork W133140730 @default.
- W23185817 hasRelatedWork W14074199 @default.
- W23185817 hasRelatedWork W1579437898 @default.
- W23185817 hasRelatedWork W1840129892 @default.
- W23185817 hasRelatedWork W1984585577 @default.
- W23185817 hasRelatedWork W1996158986 @default.
- W23185817 hasRelatedWork W2010058284 @default.
- W23185817 hasRelatedWork W2113090411 @default.
- W23185817 hasRelatedWork W2131321020 @default.
- W23185817 hasRelatedWork W2160215341 @default.
- W23185817 hasRelatedWork W2162898834 @default.
- W23185817 hasRelatedWork W2166248666 @default.
- W23185817 hasRelatedWork W2549315628 @default.
- W23185817 hasRelatedWork W2599938050 @default.
- W23185817 hasRelatedWork W2775686256 @default.
- W23185817 hasRelatedWork W2811026317 @default.
- W23185817 hasRelatedWork W3046630346 @default.
- W23185817 hasRelatedWork W315696179 @default.
- W23185817 hasRelatedWork W3183545278 @default.
- W23185817 hasRelatedWork W8607633 @default.
- W23185817 isParatext "false" @default.
- W23185817 isRetracted "false" @default.
- W23185817 magId "23185817" @default.
- W23185817 workType "article" @default.