Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019600564> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2019600564 endingPage "465" @default.
- W2019600564 startingPage "454" @default.
- W2019600564 abstract "This paper discusses axiomatic and functional models of the semantics of structured programming. The models are presented together with their respective methodologies for proving program correctness and for deriving correct programs. Examples using these methodologies are given. Finally, the models are compared and contrasted." @default.
- W2019600564 created "2016-06-24" @default.
- W2019600564 creator A5011045475 @default.
- W2019600564 creator A5071525880 @default.
- W2019600564 date "1980-09-01" @default.
- W2019600564 modified "2023-10-01" @default.
- W2019600564 title "A Comparison of the Axiomatic and Functional Models of Structured Programming" @default.
- W2019600564 cites W1978367838 @default.
- W2019600564 cites W2012242170 @default.
- W2019600564 cites W2019389359 @default.
- W2019600564 cites W2070485163 @default.
- W2019600564 cites W2340063198 @default.
- W2019600564 cites W2987907651 @default.
- W2019600564 cites W4251912342 @default.
- W2019600564 cites W52272913 @default.
- W2019600564 doi "https://doi.org/10.1109/tse.1980.230494" @default.
- W2019600564 hasPublicationYear "1980" @default.
- W2019600564 type Work @default.
- W2019600564 sameAs 2019600564 @default.
- W2019600564 citedByCount "7" @default.
- W2019600564 crossrefType "journal-article" @default.
- W2019600564 hasAuthorship W2019600564A5011045475 @default.
- W2019600564 hasAuthorship W2019600564A5071525880 @default.
- W2019600564 hasConcept C125773388 @default.
- W2019600564 hasConcept C137335462 @default.
- W2019600564 hasConcept C156325763 @default.
- W2019600564 hasConcept C162324750 @default.
- W2019600564 hasConcept C167729594 @default.
- W2019600564 hasConcept C184337299 @default.
- W2019600564 hasConcept C199360897 @default.
- W2019600564 hasConcept C207648694 @default.
- W2019600564 hasConcept C21547014 @default.
- W2019600564 hasConcept C2524010 @default.
- W2019600564 hasConcept C33923547 @default.
- W2019600564 hasConcept C34165917 @default.
- W2019600564 hasConcept C41008148 @default.
- W2019600564 hasConcept C42383842 @default.
- W2019600564 hasConcept C55439883 @default.
- W2019600564 hasConcept C58041814 @default.
- W2019600564 hasConcept C77781355 @default.
- W2019600564 hasConcept C80444323 @default.
- W2019600564 hasConcept C84170951 @default.
- W2019600564 hasConceptScore W2019600564C125773388 @default.
- W2019600564 hasConceptScore W2019600564C137335462 @default.
- W2019600564 hasConceptScore W2019600564C156325763 @default.
- W2019600564 hasConceptScore W2019600564C162324750 @default.
- W2019600564 hasConceptScore W2019600564C167729594 @default.
- W2019600564 hasConceptScore W2019600564C184337299 @default.
- W2019600564 hasConceptScore W2019600564C199360897 @default.
- W2019600564 hasConceptScore W2019600564C207648694 @default.
- W2019600564 hasConceptScore W2019600564C21547014 @default.
- W2019600564 hasConceptScore W2019600564C2524010 @default.
- W2019600564 hasConceptScore W2019600564C33923547 @default.
- W2019600564 hasConceptScore W2019600564C34165917 @default.
- W2019600564 hasConceptScore W2019600564C41008148 @default.
- W2019600564 hasConceptScore W2019600564C42383842 @default.
- W2019600564 hasConceptScore W2019600564C55439883 @default.
- W2019600564 hasConceptScore W2019600564C58041814 @default.
- W2019600564 hasConceptScore W2019600564C77781355 @default.
- W2019600564 hasConceptScore W2019600564C80444323 @default.
- W2019600564 hasConceptScore W2019600564C84170951 @default.
- W2019600564 hasIssue "5" @default.
- W2019600564 hasLocation W20196005641 @default.
- W2019600564 hasOpenAccess W2019600564 @default.
- W2019600564 hasPrimaryLocation W20196005641 @default.
- W2019600564 hasRelatedWork W1161588736 @default.
- W2019600564 hasRelatedWork W1548537923 @default.
- W2019600564 hasRelatedWork W2005574148 @default.
- W2019600564 hasRelatedWork W2038289817 @default.
- W2019600564 hasRelatedWork W2388062429 @default.
- W2019600564 hasRelatedWork W2753815840 @default.
- W2019600564 hasRelatedWork W2973978040 @default.
- W2019600564 hasRelatedWork W3207067320 @default.
- W2019600564 hasRelatedWork W70766526 @default.
- W2019600564 hasRelatedWork W783270985 @default.
- W2019600564 hasVolume "SE-6" @default.
- W2019600564 isParatext "false" @default.
- W2019600564 isRetracted "false" @default.
- W2019600564 magId "2019600564" @default.
- W2019600564 workType "article" @default.