Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149013359> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2149013359 abstract "The development of the method of proving correctness of programs is considered in relation to methods of defining programming languages. Informal methods are given for checking proposed adaptations of the correctness method to new programming languages. It is shown how correctness-formulae can be considered as semantic definitions of programs, and how Burstall's logical language definitions can be considered as correctness formulae." @default.
- W2149013359 created "2016-06-24" @default.
- W2149013359 creator A5089372145 @default.
- W2149013359 date "1972-01-01" @default.
- W2149013359 modified "2023-09-26" @default.
- W2149013359 title "Program correctness methods and language definition" @default.
- W2149013359 cites W109220837 @default.
- W2149013359 cites W1512502927 @default.
- W2149013359 cites W1907395728 @default.
- W2149013359 cites W2012213337 @default.
- W2149013359 cites W2039586513 @default.
- W2149013359 cites W2106007969 @default.
- W2149013359 cites W2152944474 @default.
- W2149013359 cites W2164295464 @default.
- W2149013359 doi "https://doi.org/10.1145/800235.807071" @default.
- W2149013359 hasPublicationYear "1972" @default.
- W2149013359 type Work @default.
- W2149013359 sameAs 2149013359 @default.
- W2149013359 citedByCount "2" @default.
- W2149013359 crossrefType "proceedings-article" @default.
- W2149013359 hasAuthorship W2149013359A5089372145 @default.
- W2149013359 hasConcept C199360897 @default.
- W2149013359 hasConcept C25343380 @default.
- W2149013359 hasConcept C41008148 @default.
- W2149013359 hasConcept C55439883 @default.
- W2149013359 hasConcept C77088390 @default.
- W2149013359 hasConcept C80444323 @default.
- W2149013359 hasConceptScore W2149013359C199360897 @default.
- W2149013359 hasConceptScore W2149013359C25343380 @default.
- W2149013359 hasConceptScore W2149013359C41008148 @default.
- W2149013359 hasConceptScore W2149013359C55439883 @default.
- W2149013359 hasConceptScore W2149013359C77088390 @default.
- W2149013359 hasConceptScore W2149013359C80444323 @default.
- W2149013359 hasLocation W21490133591 @default.
- W2149013359 hasOpenAccess W2149013359 @default.
- W2149013359 hasPrimaryLocation W21490133591 @default.
- W2149013359 hasRelatedWork W1501686914 @default.
- W2149013359 hasRelatedWork W150776420 @default.
- W2149013359 hasRelatedWork W1591148686 @default.
- W2149013359 hasRelatedWork W1996037542 @default.
- W2149013359 hasRelatedWork W2012220159 @default.
- W2149013359 hasRelatedWork W2166656159 @default.
- W2149013359 hasRelatedWork W2195852518 @default.
- W2149013359 hasRelatedWork W2398170672 @default.
- W2149013359 hasRelatedWork W2912001071 @default.
- W2149013359 hasRelatedWork W2973978040 @default.
- W2149013359 hasRelatedWork W2987907651 @default.
- W2149013359 hasRelatedWork W3003805453 @default.
- W2149013359 hasRelatedWork W3026552755 @default.
- W2149013359 hasRelatedWork W3103583943 @default.
- W2149013359 hasRelatedWork W3127969445 @default.
- W2149013359 hasRelatedWork W3193129068 @default.
- W2149013359 hasRelatedWork W3207067320 @default.
- W2149013359 hasRelatedWork W580100437 @default.
- W2149013359 hasRelatedWork W658676727 @default.
- W2149013359 hasRelatedWork W98970283 @default.
- W2149013359 isParatext "false" @default.
- W2149013359 isRetracted "false" @default.
- W2149013359 magId "2149013359" @default.
- W2149013359 workType "article" @default.