Matches in SemOpenAlex for { <https://semopenalex.org/work/W1986996553> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1986996553 endingPage "527" @default.
- W1986996553 startingPage "519" @default.
- W1986996553 abstract "The paper describes a method of program development which guarantees correctness. Our programs consist of an operational part, called instruction, and a specification. Both these parts are subject to the development and the refinement process. The specification consists of a pre-and postcondition called global specification and a set of assertions called local specification. A specified program is called correct if: 1) the operational part is totally correct w.r.t. the pre-and postcondition, 2) the precondition guarantees nonabortion, 3) local assertions are adequate for the proof of 1) and 2). The requirement of nonabortion leads to the use of a three-valued predicate calculus. We use McCarthy's calculus in that place. The paper contains a description of an experimental programming language PROMET-1 designed for our style of programming. The method is illustrated by the derivation of a bubblesort procedure." @default.
- W1986996553 created "2016-06-24" @default.
- W1986996553 creator A5022378467 @default.
- W1986996553 date "1981-09-01" @default.
- W1986996553 modified "2023-09-27" @default.
- W1986996553 title "On the Development of Correct Specified Programs" @default.
- W1986996553 cites W120145308 @default.
- W1986996553 cites W1518851985 @default.
- W1986996553 cites W1538991291 @default.
- W1986996553 cites W1554859476 @default.
- W1986996553 cites W1578225692 @default.
- W1986996553 cites W1964300195 @default.
- W1986996553 cites W2002532745 @default.
- W1986996553 cites W2009067638 @default.
- W1986996553 cites W2023299380 @default.
- W1986996553 cites W2031506341 @default.
- W1986996553 cites W2148817888 @default.
- W1986996553 cites W2166089338 @default.
- W1986996553 cites W2914651777 @default.
- W1986996553 doi "https://doi.org/10.1109/tse.1981.231114" @default.
- W1986996553 hasPublicationYear "1981" @default.
- W1986996553 type Work @default.
- W1986996553 sameAs 1986996553 @default.
- W1986996553 citedByCount "14" @default.
- W1986996553 countsByYear W19869965532019 @default.
- W1986996553 crossrefType "journal-article" @default.
- W1986996553 hasAuthorship W1986996553A5022378467 @default.
- W1986996553 hasConcept C11413529 @default.
- W1986996553 hasConcept C119263510 @default.
- W1986996553 hasConcept C134306372 @default.
- W1986996553 hasConcept C140146324 @default.
- W1986996553 hasConcept C15077461 @default.
- W1986996553 hasConcept C156325763 @default.
- W1986996553 hasConcept C184337299 @default.
- W1986996553 hasConcept C192465680 @default.
- W1986996553 hasConcept C199343813 @default.
- W1986996553 hasConcept C199360897 @default.
- W1986996553 hasConcept C2776245389 @default.
- W1986996553 hasConcept C2776542497 @default.
- W1986996553 hasConcept C2777686260 @default.
- W1986996553 hasConcept C30128091 @default.
- W1986996553 hasConcept C33923547 @default.
- W1986996553 hasConcept C34165917 @default.
- W1986996553 hasConcept C41008148 @default.
- W1986996553 hasConcept C50033165 @default.
- W1986996553 hasConcept C55439883 @default.
- W1986996553 hasConcept C71924100 @default.
- W1986996553 hasConcept C90483712 @default.
- W1986996553 hasConceptScore W1986996553C11413529 @default.
- W1986996553 hasConceptScore W1986996553C119263510 @default.
- W1986996553 hasConceptScore W1986996553C134306372 @default.
- W1986996553 hasConceptScore W1986996553C140146324 @default.
- W1986996553 hasConceptScore W1986996553C15077461 @default.
- W1986996553 hasConceptScore W1986996553C156325763 @default.
- W1986996553 hasConceptScore W1986996553C184337299 @default.
- W1986996553 hasConceptScore W1986996553C192465680 @default.
- W1986996553 hasConceptScore W1986996553C199343813 @default.
- W1986996553 hasConceptScore W1986996553C199360897 @default.
- W1986996553 hasConceptScore W1986996553C2776245389 @default.
- W1986996553 hasConceptScore W1986996553C2776542497 @default.
- W1986996553 hasConceptScore W1986996553C2777686260 @default.
- W1986996553 hasConceptScore W1986996553C30128091 @default.
- W1986996553 hasConceptScore W1986996553C33923547 @default.
- W1986996553 hasConceptScore W1986996553C34165917 @default.
- W1986996553 hasConceptScore W1986996553C41008148 @default.
- W1986996553 hasConceptScore W1986996553C50033165 @default.
- W1986996553 hasConceptScore W1986996553C55439883 @default.
- W1986996553 hasConceptScore W1986996553C71924100 @default.
- W1986996553 hasConceptScore W1986996553C90483712 @default.
- W1986996553 hasIssue "5" @default.
- W1986996553 hasLocation W19869965531 @default.
- W1986996553 hasOpenAccess W1986996553 @default.
- W1986996553 hasPrimaryLocation W19869965531 @default.
- W1986996553 hasRelatedWork W147241645 @default.
- W1986996553 hasRelatedWork W1490683640 @default.
- W1986996553 hasRelatedWork W1518851985 @default.
- W1986996553 hasRelatedWork W1560644941 @default.
- W1986996553 hasRelatedWork W1565640043 @default.
- W1986996553 hasRelatedWork W1594911311 @default.
- W1986996553 hasRelatedWork W1928160989 @default.
- W1986996553 hasRelatedWork W1963436944 @default.
- W1986996553 hasRelatedWork W1964300195 @default.
- W1986996553 hasRelatedWork W1970495662 @default.
- W1986996553 hasRelatedWork W2031155999 @default.
- W1986996553 hasRelatedWork W2064876896 @default.
- W1986996553 hasRelatedWork W2089387242 @default.
- W1986996553 hasRelatedWork W2122409425 @default.
- W1986996553 hasRelatedWork W2148708829 @default.
- W1986996553 hasRelatedWork W2166089338 @default.
- W1986996553 hasRelatedWork W221281981 @default.
- W1986996553 hasRelatedWork W2569787747 @default.
- W1986996553 hasRelatedWork W3146075203 @default.
- W1986996553 hasRelatedWork W1577652768 @default.
- W1986996553 hasVolume "SE-7" @default.
- W1986996553 isParatext "false" @default.
- W1986996553 isRetracted "false" @default.
- W1986996553 magId "1986996553" @default.
- W1986996553 workType "article" @default.