Matches in SemOpenAlex for { <https://semopenalex.org/work/W777733013> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W777733013 abstract "Methods are investigated for formally specifying and verifying the correctness of mathematical software (software which uses floating point numbers and arithmetic). Previous work in the field was reviewed. A new model of floating point arithmetic called the asymptotic paradigm was developed and formalized. Two different conceptual approaches to program verification, the classical Verification Condition approach and the more recently developed Programming Logic approach, were adapted to use the asymptotic paradigm. These approaches were then used to verify several programs; the programs chosen were simplified versions of actual mathematical software." @default.
- W777733013 created "2016-06-24" @default.
- W777733013 creator A5030109410 @default.
- W777733013 date "1984-05-01" @default.
- W777733013 modified "2023-09-27" @default.
- W777733013 title "Formal verification of mathematical software" @default.
- W777733013 hasPublicationYear "1984" @default.
- W777733013 type Work @default.
- W777733013 sameAs 777733013 @default.
- W777733013 citedByCount "0" @default.
- W777733013 crossrefType "journal-article" @default.
- W777733013 hasAuthorship W777733013A5030109410 @default.
- W777733013 hasConcept C105795698 @default.
- W777733013 hasConcept C149091818 @default.
- W777733013 hasConcept C186846655 @default.
- W777733013 hasConcept C199360897 @default.
- W777733013 hasConcept C202444582 @default.
- W777733013 hasConcept C2524010 @default.
- W777733013 hasConcept C2777904410 @default.
- W777733013 hasConcept C28719098 @default.
- W777733013 hasConcept C33054407 @default.
- W777733013 hasConcept C33923547 @default.
- W777733013 hasConcept C41008148 @default.
- W777733013 hasConcept C48002344 @default.
- W777733013 hasConcept C55439883 @default.
- W777733013 hasConcept C75606506 @default.
- W777733013 hasConcept C80444323 @default.
- W777733013 hasConcept C9652623 @default.
- W777733013 hasConceptScore W777733013C105795698 @default.
- W777733013 hasConceptScore W777733013C149091818 @default.
- W777733013 hasConceptScore W777733013C186846655 @default.
- W777733013 hasConceptScore W777733013C199360897 @default.
- W777733013 hasConceptScore W777733013C202444582 @default.
- W777733013 hasConceptScore W777733013C2524010 @default.
- W777733013 hasConceptScore W777733013C2777904410 @default.
- W777733013 hasConceptScore W777733013C28719098 @default.
- W777733013 hasConceptScore W777733013C33054407 @default.
- W777733013 hasConceptScore W777733013C33923547 @default.
- W777733013 hasConceptScore W777733013C41008148 @default.
- W777733013 hasConceptScore W777733013C48002344 @default.
- W777733013 hasConceptScore W777733013C55439883 @default.
- W777733013 hasConceptScore W777733013C75606506 @default.
- W777733013 hasConceptScore W777733013C80444323 @default.
- W777733013 hasConceptScore W777733013C9652623 @default.
- W777733013 hasLocation W7777330131 @default.
- W777733013 hasOpenAccess W777733013 @default.
- W777733013 hasPrimaryLocation W7777330131 @default.
- W777733013 hasRelatedWork W1489588785 @default.
- W777733013 hasRelatedWork W1521334560 @default.
- W777733013 hasRelatedWork W1542693296 @default.
- W777733013 hasRelatedWork W1595810432 @default.
- W777733013 hasRelatedWork W1876057874 @default.
- W777733013 hasRelatedWork W1955307309 @default.
- W777733013 hasRelatedWork W2013108521 @default.
- W777733013 hasRelatedWork W2057225708 @default.
- W777733013 hasRelatedWork W2058064470 @default.
- W777733013 hasRelatedWork W2105134672 @default.
- W777733013 hasRelatedWork W2109337044 @default.
- W777733013 hasRelatedWork W2109821323 @default.
- W777733013 hasRelatedWork W2129664123 @default.
- W777733013 hasRelatedWork W2135274583 @default.
- W777733013 hasRelatedWork W2136208798 @default.
- W777733013 hasRelatedWork W2151894798 @default.
- W777733013 hasRelatedWork W2153441705 @default.
- W777733013 hasRelatedWork W2167499546 @default.
- W777733013 hasRelatedWork W2197865678 @default.
- W777733013 hasRelatedWork W2577206258 @default.
- W777733013 isParatext "false" @default.
- W777733013 isRetracted "false" @default.
- W777733013 magId "777733013" @default.
- W777733013 workType "article" @default.