Matches in SemOpenAlex for { <https://semopenalex.org/work/W2400588746> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2400588746 abstract "These notes present some extensions of a formal method introduced in an earlier paper. The formal method is designed as a tool for program verification of numerical computation and forms the basis of the software package VPC. Included in the extensions that are presented here are disjunctions and methods for detecting non-computable programs. A more comprehensive list of the construction rules as higher order constructs is also presented." @default.
- W2400588746 created "2016-06-24" @default.
- W2400588746 creator A5004368910 @default.
- W2400588746 date "2014-06-09" @default.
- W2400588746 modified "2023-09-27" @default.
- W2400588746 title "Program Verification of Numerical Computation - Part 2." @default.
- W2400588746 cites W2397802807 @default.
- W2400588746 hasPublicationYear "2014" @default.
- W2400588746 type Work @default.
- W2400588746 sameAs 2400588746 @default.
- W2400588746 citedByCount "0" @default.
- W2400588746 crossrefType "posted-content" @default.
- W2400588746 hasAuthorship W2400588746A5004368910 @default.
- W2400588746 hasConcept C10138342 @default.
- W2400588746 hasConcept C111498074 @default.
- W2400588746 hasConcept C11413529 @default.
- W2400588746 hasConcept C12426560 @default.
- W2400588746 hasConcept C149091818 @default.
- W2400588746 hasConcept C162324750 @default.
- W2400588746 hasConcept C182306322 @default.
- W2400588746 hasConcept C186846655 @default.
- W2400588746 hasConcept C199360897 @default.
- W2400588746 hasConcept C2524010 @default.
- W2400588746 hasConcept C2777904410 @default.
- W2400588746 hasConcept C3020440742 @default.
- W2400588746 hasConcept C33054407 @default.
- W2400588746 hasConcept C33923547 @default.
- W2400588746 hasConcept C41008148 @default.
- W2400588746 hasConcept C45374587 @default.
- W2400588746 hasConcept C75606506 @default.
- W2400588746 hasConcept C80444323 @default.
- W2400588746 hasConceptScore W2400588746C10138342 @default.
- W2400588746 hasConceptScore W2400588746C111498074 @default.
- W2400588746 hasConceptScore W2400588746C11413529 @default.
- W2400588746 hasConceptScore W2400588746C12426560 @default.
- W2400588746 hasConceptScore W2400588746C149091818 @default.
- W2400588746 hasConceptScore W2400588746C162324750 @default.
- W2400588746 hasConceptScore W2400588746C182306322 @default.
- W2400588746 hasConceptScore W2400588746C186846655 @default.
- W2400588746 hasConceptScore W2400588746C199360897 @default.
- W2400588746 hasConceptScore W2400588746C2524010 @default.
- W2400588746 hasConceptScore W2400588746C2777904410 @default.
- W2400588746 hasConceptScore W2400588746C3020440742 @default.
- W2400588746 hasConceptScore W2400588746C33054407 @default.
- W2400588746 hasConceptScore W2400588746C33923547 @default.
- W2400588746 hasConceptScore W2400588746C41008148 @default.
- W2400588746 hasConceptScore W2400588746C45374587 @default.
- W2400588746 hasConceptScore W2400588746C75606506 @default.
- W2400588746 hasConceptScore W2400588746C80444323 @default.
- W2400588746 hasLocation W24005887461 @default.
- W2400588746 hasOpenAccess W2400588746 @default.
- W2400588746 hasPrimaryLocation W24005887461 @default.
- W2400588746 hasRelatedWork W136339 @default.
- W2400588746 hasRelatedWork W1495250406 @default.
- W2400588746 hasRelatedWork W1504912724 @default.
- W2400588746 hasRelatedWork W1522735402 @default.
- W2400588746 hasRelatedWork W1559035930 @default.
- W2400588746 hasRelatedWork W1578754560 @default.
- W2400588746 hasRelatedWork W1608433116 @default.
- W2400588746 hasRelatedWork W1780989199 @default.
- W2400588746 hasRelatedWork W2152882089 @default.
- W2400588746 hasRelatedWork W2280148102 @default.
- W2400588746 hasRelatedWork W2480791090 @default.
- W2400588746 hasRelatedWork W2556680237 @default.
- W2400588746 hasRelatedWork W2622365937 @default.
- W2400588746 hasRelatedWork W2781396633 @default.
- W2400588746 hasRelatedWork W2788835136 @default.
- W2400588746 hasRelatedWork W3183644683 @default.
- W2400588746 hasRelatedWork W334450592 @default.
- W2400588746 hasRelatedWork W376991050 @default.
- W2400588746 hasRelatedWork W57185801 @default.
- W2400588746 hasRelatedWork W855080938 @default.
- W2400588746 isParatext "false" @default.
- W2400588746 isRetracted "false" @default.
- W2400588746 magId "2400588746" @default.
- W2400588746 workType "article" @default.