Matches in SemOpenAlex for { <https://semopenalex.org/work/W2011444209> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2011444209 endingPage "419" @default.
- W2011444209 startingPage "403" @default.
- W2011444209 abstract "Dijkstra's programming language is extended by specification statements , which specify parts of a program “yet to be developed.” A weakest precondition semantics is given for these statements so that the extended language has a meaning as precise as the original. The goal is to improve the development of programs, making it closer to manipulations within a single calculus. The extension does this by providing one semantic framework for specifications and programs alike: Developments begin with a program (a single specification statement) and end with a program (in the executable language). And the notion of refinement or satisfaction , which normally relates a specification to its possible implementations, is automatically generalized to act between specifications and between programs as well. A surprising consequence of the extension is the appearance of miracles : program fragments that do not satisfy Dijkstra's Law of the Excluded Miracle . Uses for them are suggested." @default.
- W2011444209 created "2016-06-24" @default.
- W2011444209 creator A5039019347 @default.
- W2011444209 date "1988-07-01" @default.
- W2011444209 modified "2023-10-17" @default.
- W2011444209 title "The specification statement" @default.
- W2011444209 cites W1973020074 @default.
- W2011444209 cites W1999659898 @default.
- W2011444209 cites W2082724648 @default.
- W2011444209 cites W2086869884 @default.
- W2011444209 cites W2087713039 @default.
- W2011444209 cites W2089387242 @default.
- W2011444209 cites W3160923835 @default.
- W2011444209 doi "https://doi.org/10.1145/44501.44503" @default.
- W2011444209 hasPublicationYear "1988" @default.
- W2011444209 type Work @default.
- W2011444209 sameAs 2011444209 @default.
- W2011444209 citedByCount "251" @default.
- W2011444209 countsByYear W20114442092012 @default.
- W2011444209 countsByYear W20114442092013 @default.
- W2011444209 countsByYear W20114442092014 @default.
- W2011444209 countsByYear W20114442092015 @default.
- W2011444209 countsByYear W20114442092016 @default.
- W2011444209 countsByYear W20114442092017 @default.
- W2011444209 countsByYear W20114442092018 @default.
- W2011444209 countsByYear W20114442092019 @default.
- W2011444209 countsByYear W20114442092020 @default.
- W2011444209 countsByYear W20114442092021 @default.
- W2011444209 countsByYear W20114442092022 @default.
- W2011444209 countsByYear W20114442092023 @default.
- W2011444209 crossrefType "journal-article" @default.
- W2011444209 hasAuthorship W2011444209A5039019347 @default.
- W2011444209 hasBestOaLocation W20114442091 @default.
- W2011444209 hasConcept C116253237 @default.
- W2011444209 hasConcept C119263510 @default.
- W2011444209 hasConcept C132525143 @default.
- W2011444209 hasConcept C14331664 @default.
- W2011444209 hasConcept C15077461 @default.
- W2011444209 hasConcept C160145156 @default.
- W2011444209 hasConcept C173870130 @default.
- W2011444209 hasConcept C17744445 @default.
- W2011444209 hasConcept C184337299 @default.
- W2011444209 hasConcept C192465680 @default.
- W2011444209 hasConcept C199360897 @default.
- W2011444209 hasConcept C199539241 @default.
- W2011444209 hasConcept C201677973 @default.
- W2011444209 hasConcept C22590252 @default.
- W2011444209 hasConcept C26713055 @default.
- W2011444209 hasConcept C2777026412 @default.
- W2011444209 hasConcept C2778029271 @default.
- W2011444209 hasConcept C34165917 @default.
- W2011444209 hasConcept C41008148 @default.
- W2011444209 hasConcept C50033165 @default.
- W2011444209 hasConcept C80444323 @default.
- W2011444209 hasConcept C90483712 @default.
- W2011444209 hasConceptScore W2011444209C116253237 @default.
- W2011444209 hasConceptScore W2011444209C119263510 @default.
- W2011444209 hasConceptScore W2011444209C132525143 @default.
- W2011444209 hasConceptScore W2011444209C14331664 @default.
- W2011444209 hasConceptScore W2011444209C15077461 @default.
- W2011444209 hasConceptScore W2011444209C160145156 @default.
- W2011444209 hasConceptScore W2011444209C173870130 @default.
- W2011444209 hasConceptScore W2011444209C17744445 @default.
- W2011444209 hasConceptScore W2011444209C184337299 @default.
- W2011444209 hasConceptScore W2011444209C192465680 @default.
- W2011444209 hasConceptScore W2011444209C199360897 @default.
- W2011444209 hasConceptScore W2011444209C199539241 @default.
- W2011444209 hasConceptScore W2011444209C201677973 @default.
- W2011444209 hasConceptScore W2011444209C22590252 @default.
- W2011444209 hasConceptScore W2011444209C26713055 @default.
- W2011444209 hasConceptScore W2011444209C2777026412 @default.
- W2011444209 hasConceptScore W2011444209C2778029271 @default.
- W2011444209 hasConceptScore W2011444209C34165917 @default.
- W2011444209 hasConceptScore W2011444209C41008148 @default.
- W2011444209 hasConceptScore W2011444209C50033165 @default.
- W2011444209 hasConceptScore W2011444209C80444323 @default.
- W2011444209 hasConceptScore W2011444209C90483712 @default.
- W2011444209 hasIssue "3" @default.
- W2011444209 hasLocation W20114442091 @default.
- W2011444209 hasOpenAccess W2011444209 @default.
- W2011444209 hasPrimaryLocation W20114442091 @default.
- W2011444209 hasRelatedWork W1591156284 @default.
- W2011444209 hasRelatedWork W1984757784 @default.
- W2011444209 hasRelatedWork W2011444209 @default.
- W2011444209 hasRelatedWork W2112031719 @default.
- W2011444209 hasRelatedWork W2156223462 @default.
- W2011444209 hasRelatedWork W2162611322 @default.
- W2011444209 hasRelatedWork W2350068048 @default.
- W2011444209 hasRelatedWork W2743135336 @default.
- W2011444209 hasRelatedWork W4251225852 @default.
- W2011444209 hasRelatedWork W4361193698 @default.
- W2011444209 hasVolume "10" @default.
- W2011444209 isParatext "false" @default.
- W2011444209 isRetracted "false" @default.
- W2011444209 magId "2011444209" @default.
- W2011444209 workType "article" @default.