Matches in SemOpenAlex for { <https://semopenalex.org/work/W1996295135> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1996295135 endingPage "82" @default.
- W1996295135 startingPage "74" @default.
- W1996295135 abstract "This paper is an introduction to the Hierarchical Simultaneous Set Membership (HSSM) macro-architecture project, the associated HSSM Virtual Machine (HVM) and H languages. The ultimate goal of this project is the automated synthesis and verification of large multithreaded software applications." @default.
- W1996295135 created "2016-06-24" @default.
- W1996295135 creator A5039494035 @default.
- W1996295135 date "2002-04-01" @default.
- W1996295135 modified "2023-09-27" @default.
- W1996295135 title "The HSSM macro-architecture, Virtual Machine and H languages" @default.
- W1996295135 cites W1971851724 @default.
- W1996295135 cites W1977310054 @default.
- W1996295135 cites W2120230074 @default.
- W1996295135 doi "https://doi.org/10.1145/510857.510871" @default.
- W1996295135 hasPublicationYear "2002" @default.
- W1996295135 type Work @default.
- W1996295135 sameAs 1996295135 @default.
- W1996295135 citedByCount "1" @default.
- W1996295135 crossrefType "journal-article" @default.
- W1996295135 hasAuthorship W1996295135A5039494035 @default.
- W1996295135 hasConcept C111919701 @default.
- W1996295135 hasConcept C115903868 @default.
- W1996295135 hasConcept C118524514 @default.
- W1996295135 hasConcept C123657996 @default.
- W1996295135 hasConcept C142362112 @default.
- W1996295135 hasConcept C153349607 @default.
- W1996295135 hasConcept C166955791 @default.
- W1996295135 hasConcept C177264268 @default.
- W1996295135 hasConcept C199360897 @default.
- W1996295135 hasConcept C25344961 @default.
- W1996295135 hasConcept C41008148 @default.
- W1996295135 hasConcept C88977235 @default.
- W1996295135 hasConceptScore W1996295135C111919701 @default.
- W1996295135 hasConceptScore W1996295135C115903868 @default.
- W1996295135 hasConceptScore W1996295135C118524514 @default.
- W1996295135 hasConceptScore W1996295135C123657996 @default.
- W1996295135 hasConceptScore W1996295135C142362112 @default.
- W1996295135 hasConceptScore W1996295135C153349607 @default.
- W1996295135 hasConceptScore W1996295135C166955791 @default.
- W1996295135 hasConceptScore W1996295135C177264268 @default.
- W1996295135 hasConceptScore W1996295135C199360897 @default.
- W1996295135 hasConceptScore W1996295135C25344961 @default.
- W1996295135 hasConceptScore W1996295135C41008148 @default.
- W1996295135 hasConceptScore W1996295135C88977235 @default.
- W1996295135 hasIssue "4" @default.
- W1996295135 hasLocation W19962951351 @default.
- W1996295135 hasOpenAccess W1996295135 @default.
- W1996295135 hasPrimaryLocation W19962951351 @default.
- W1996295135 hasRelatedWork W1490787830 @default.
- W1996295135 hasRelatedWork W1567762309 @default.
- W1996295135 hasRelatedWork W1603528014 @default.
- W1996295135 hasRelatedWork W1867542889 @default.
- W1996295135 hasRelatedWork W2111594816 @default.
- W1996295135 hasRelatedWork W2121854243 @default.
- W1996295135 hasRelatedWork W2360884399 @default.
- W1996295135 hasRelatedWork W2367240299 @default.
- W1996295135 hasRelatedWork W2374742111 @default.
- W1996295135 hasRelatedWork W396164270 @default.
- W1996295135 hasVolume "37" @default.
- W1996295135 isParatext "false" @default.
- W1996295135 isRetracted "false" @default.
- W1996295135 magId "1996295135" @default.
- W1996295135 workType "article" @default.