Matches in SemOpenAlex for { <https://semopenalex.org/work/W3022861402> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W3022861402 endingPage "207" @default.
- W3022861402 startingPage "203" @default.
- W3022861402 abstract "The proof that a program verifies some property is carried out by the valuation of the program in a model characterizing that property. Specific models are given for sufficient conditions of the correctness of types, locations and asynchronous computations; a hypothetical programming language is used, which includes functions and locations and allows their recursive composition. The application of the method in studying termination or correctness problems is discussed on particular programs." @default.
- W3022861402 created "2020-05-13" @default.
- W3022861402 creator A5000802903 @default.
- W3022861402 date "1972-01-01" @default.
- W3022861402 modified "2023-10-17" @default.
- W3022861402 title "Calculating properties of programs by valuations on specific models" @default.
- W3022861402 cites W2051226579 @default.
- W3022861402 cites W2109798037 @default.
- W3022861402 cites W2159709550 @default.
- W3022861402 cites W3022537579 @default.
- W3022861402 doi "https://doi.org/10.1145/942578.807086" @default.
- W3022861402 hasPublicationYear "1972" @default.
- W3022861402 type Work @default.
- W3022861402 sameAs 3022861402 @default.
- W3022861402 citedByCount "19" @default.
- W3022861402 countsByYear W30228614022014 @default.
- W3022861402 crossrefType "journal-article" @default.
- W3022861402 hasAuthorship W3022861402A5000802903 @default.
- W3022861402 hasConcept C10138342 @default.
- W3022861402 hasConcept C111472728 @default.
- W3022861402 hasConcept C11413529 @default.
- W3022861402 hasConcept C138885662 @default.
- W3022861402 hasConcept C151319957 @default.
- W3022861402 hasConcept C162324750 @default.
- W3022861402 hasConcept C186027771 @default.
- W3022861402 hasConcept C189950617 @default.
- W3022861402 hasConcept C199360897 @default.
- W3022861402 hasConcept C31258907 @default.
- W3022861402 hasConcept C41008148 @default.
- W3022861402 hasConcept C45374587 @default.
- W3022861402 hasConcept C55439883 @default.
- W3022861402 hasConcept C80444323 @default.
- W3022861402 hasConcept C98183937 @default.
- W3022861402 hasConceptScore W3022861402C10138342 @default.
- W3022861402 hasConceptScore W3022861402C111472728 @default.
- W3022861402 hasConceptScore W3022861402C11413529 @default.
- W3022861402 hasConceptScore W3022861402C138885662 @default.
- W3022861402 hasConceptScore W3022861402C151319957 @default.
- W3022861402 hasConceptScore W3022861402C162324750 @default.
- W3022861402 hasConceptScore W3022861402C186027771 @default.
- W3022861402 hasConceptScore W3022861402C189950617 @default.
- W3022861402 hasConceptScore W3022861402C199360897 @default.
- W3022861402 hasConceptScore W3022861402C31258907 @default.
- W3022861402 hasConceptScore W3022861402C41008148 @default.
- W3022861402 hasConceptScore W3022861402C45374587 @default.
- W3022861402 hasConceptScore W3022861402C55439883 @default.
- W3022861402 hasConceptScore W3022861402C80444323 @default.
- W3022861402 hasConceptScore W3022861402C98183937 @default.
- W3022861402 hasIssue "1" @default.
- W3022861402 hasLocation W30228614021 @default.
- W3022861402 hasOpenAccess W3022861402 @default.
- W3022861402 hasPrimaryLocation W30228614021 @default.
- W3022861402 hasRelatedWork W1967226206 @default.
- W3022861402 hasRelatedWork W2068981034 @default.
- W3022861402 hasRelatedWork W2122069763 @default.
- W3022861402 hasRelatedWork W2151178082 @default.
- W3022861402 hasRelatedWork W2153285764 @default.
- W3022861402 hasRelatedWork W2155334493 @default.
- W3022861402 hasRelatedWork W2172022734 @default.
- W3022861402 hasRelatedWork W2887599639 @default.
- W3022861402 hasRelatedWork W39738311 @default.
- W3022861402 hasRelatedWork W78086918 @default.
- W3022861402 hasVolume "7" @default.
- W3022861402 isParatext "false" @default.
- W3022861402 isRetracted "false" @default.
- W3022861402 magId "3022861402" @default.
- W3022861402 workType "article" @default.