Matches in SemOpenAlex for { <https://semopenalex.org/work/W1996037542> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1996037542 endingPage "145" @default.
- W1996037542 startingPage "140" @default.
- W1996037542 abstract "Several principles are identified from work on the verification of parallel programs. Concrete examples of the ways these principles can be applied, even when formal verification is not the goal, are then described. The purpose of this paper is to demonstrate ways in which the concepts of program verification yield insight into the programming process, programming languages, and program properties." @default.
- W1996037542 created "2016-06-24" @default.
- W1996037542 creator A5010127453 @default.
- W1996037542 date "1981-03-01" @default.
- W1996037542 modified "2023-10-18" @default.
- W1996037542 title "Parallel programs" @default.
- W1996037542 cites W1965662337 @default.
- W1996037542 cites W1967022618 @default.
- W1996037542 cites W1984831616 @default.
- W1996037542 cites W1989631754 @default.
- W1996037542 cites W1993302007 @default.
- W1996037542 cites W2005973420 @default.
- W1996037542 cites W2011399941 @default.
- W1996037542 cites W2014942166 @default.
- W1996037542 cites W2023808162 @default.
- W1996037542 cites W2025429468 @default.
- W1996037542 cites W2031561037 @default.
- W1996037542 cites W2040068897 @default.
- W1996037542 cites W2051590584 @default.
- W1996037542 cites W2090612021 @default.
- W1996037542 cites W2094873755 @default.
- W1996037542 cites W2100021838 @default.
- W1996037542 cites W2103444363 @default.
- W1996037542 cites W2131791649 @default.
- W1996037542 cites W2135457341 @default.
- W1996037542 cites W2144738461 @default.
- W1996037542 cites W2152879290 @default.
- W1996037542 cites W2156004619 @default.
- W1996037542 cites W2158525816 @default.
- W1996037542 cites W2294581346 @default.
- W1996037542 cites W2987907651 @default.
- W1996037542 cites W4211008702 @default.
- W1996037542 cites W4249212548 @default.
- W1996037542 cites W4251712437 @default.
- W1996037542 doi "https://doi.org/10.1145/358568.358586" @default.
- W1996037542 hasPublicationYear "1981" @default.
- W1996037542 type Work @default.
- W1996037542 sameAs 1996037542 @default.
- W1996037542 citedByCount "8" @default.
- W1996037542 countsByYear W19960375422012 @default.
- W1996037542 crossrefType "journal-article" @default.
- W1996037542 hasAuthorship W1996037542A5010127453 @default.
- W1996037542 hasBestOaLocation W19960375421 @default.
- W1996037542 hasConcept C115903868 @default.
- W1996037542 hasConcept C199360897 @default.
- W1996037542 hasConcept C41008148 @default.
- W1996037542 hasConcept C98045186 @default.
- W1996037542 hasConceptScore W1996037542C115903868 @default.
- W1996037542 hasConceptScore W1996037542C199360897 @default.
- W1996037542 hasConceptScore W1996037542C41008148 @default.
- W1996037542 hasConceptScore W1996037542C98045186 @default.
- W1996037542 hasIssue "3" @default.
- W1996037542 hasLocation W19960375421 @default.
- W1996037542 hasOpenAccess W1996037542 @default.
- W1996037542 hasPrimaryLocation W19960375421 @default.
- W1996037542 hasRelatedWork W2013111119 @default.
- W1996037542 hasRelatedWork W2047793074 @default.
- W1996037542 hasRelatedWork W2112962394 @default.
- W1996037542 hasRelatedWork W2118300983 @default.
- W1996037542 hasRelatedWork W2382501300 @default.
- W1996037542 hasRelatedWork W3137189469 @default.
- W1996037542 hasRelatedWork W3162240892 @default.
- W1996037542 hasRelatedWork W4235530921 @default.
- W1996037542 hasRelatedWork W4243252198 @default.
- W1996037542 hasRelatedWork W4245713008 @default.
- W1996037542 hasVolume "24" @default.
- W1996037542 isParatext "false" @default.
- W1996037542 isRetracted "false" @default.
- W1996037542 magId "1996037542" @default.
- W1996037542 workType "article" @default.