Matches in SemOpenAlex for { <https://semopenalex.org/work/W91876324> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W91876324 abstract "In [6], Roscoe described a prototype compiler that allowed straightforward shared variable programs to be analysed using FDR, by writing a compiler in its CSPM language. This allowed, for example, a high degree of control over atomicity but lacked a proper input language and an interpreter for and counter-examples found. In this paper, we first propose a concrete syntax for the input language, and then describe a GUI which takes this as input, drives a modified compiler and FDR, and then provides a clear explanation of counter-examples in suitable format for users of the language." @default.
- W91876324 created "2016-06-24" @default.
- W91876324 creator A5001504123 @default.
- W91876324 date "2007-01-01" @default.
- W91876324 modified "2023-09-27" @default.
- W91876324 title "SVA, a tool for analysing shared-variable programs" @default.
- W91876324 cites W2070908350 @default.
- W91876324 cites W2096039823 @default.
- W91876324 cites W2129384397 @default.
- W91876324 cites W2136391001 @default.
- W91876324 cites W2175137100 @default.
- W91876324 cites W2279807900 @default.
- W91876324 hasPublicationYear "2007" @default.
- W91876324 type Work @default.
- W91876324 sameAs 91876324 @default.
- W91876324 citedByCount "4" @default.
- W91876324 countsByYear W918763242013 @default.
- W91876324 countsByYear W918763242014 @default.
- W91876324 crossrefType "journal-article" @default.
- W91876324 hasAuthorship W91876324A5001504123 @default.
- W91876324 hasConcept C122783720 @default.
- W91876324 hasConcept C134306372 @default.
- W91876324 hasConcept C169590947 @default.
- W91876324 hasConcept C182365436 @default.
- W91876324 hasConcept C188045909 @default.
- W91876324 hasConcept C190902152 @default.
- W91876324 hasConcept C199360897 @default.
- W91876324 hasConcept C204321447 @default.
- W91876324 hasConcept C33923547 @default.
- W91876324 hasConcept C41008148 @default.
- W91876324 hasConcept C60048249 @default.
- W91876324 hasConcept C75949130 @default.
- W91876324 hasConceptScore W91876324C122783720 @default.
- W91876324 hasConceptScore W91876324C134306372 @default.
- W91876324 hasConceptScore W91876324C169590947 @default.
- W91876324 hasConceptScore W91876324C182365436 @default.
- W91876324 hasConceptScore W91876324C188045909 @default.
- W91876324 hasConceptScore W91876324C190902152 @default.
- W91876324 hasConceptScore W91876324C199360897 @default.
- W91876324 hasConceptScore W91876324C204321447 @default.
- W91876324 hasConceptScore W91876324C33923547 @default.
- W91876324 hasConceptScore W91876324C41008148 @default.
- W91876324 hasConceptScore W91876324C60048249 @default.
- W91876324 hasConceptScore W91876324C75949130 @default.
- W91876324 hasLocation W918763241 @default.
- W91876324 hasOpenAccess W91876324 @default.
- W91876324 hasPrimaryLocation W918763241 @default.
- W91876324 hasRelatedWork W11952272 @default.
- W91876324 hasRelatedWork W1882160752 @default.
- W91876324 hasRelatedWork W188282463 @default.
- W91876324 hasRelatedWork W1975483972 @default.
- W91876324 hasRelatedWork W2012567572 @default.
- W91876324 hasRelatedWork W2016444786 @default.
- W91876324 hasRelatedWork W2064189713 @default.
- W91876324 hasRelatedWork W2074630311 @default.
- W91876324 hasRelatedWork W2096734722 @default.
- W91876324 hasRelatedWork W2113530827 @default.
- W91876324 hasRelatedWork W2128510433 @default.
- W91876324 hasRelatedWork W2129384397 @default.
- W91876324 hasRelatedWork W2175137100 @default.
- W91876324 hasRelatedWork W2249595925 @default.
- W91876324 hasRelatedWork W2473371055 @default.
- W91876324 hasRelatedWork W2731881248 @default.
- W91876324 hasRelatedWork W2886972674 @default.
- W91876324 hasRelatedWork W2914642918 @default.
- W91876324 hasRelatedWork W2977019603 @default.
- W91876324 hasRelatedWork W3144368627 @default.
- W91876324 isParatext "false" @default.
- W91876324 isRetracted "false" @default.
- W91876324 magId "91876324" @default.
- W91876324 workType "article" @default.