Matches in SemOpenAlex for { <https://semopenalex.org/work/W2068086706> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2068086706 endingPage "1191" @default.
- W2068086706 startingPage "1165" @default.
- W2068086706 abstract "The S pin model checker and its specification language Promela have been used extensively in industry and academia to check the logical properties of distributed algorithms and protocols. Model checking with S pin involves reasoning about a system via an abstract Promela specification, thus the technique depends critically on the soundness of this specification. Promela includes a rich set of data types including first-class channels, but the language syntax restricts the declaration of channel types so that it is not generally possible to deduce the complete type of a channel directly from its declaration. We present the design and implementation of E tch , an enhanced type checker for Promela, which uses constraint-based type inference to perform strong type checking of Promela specifications, allowing static detection of errors that S pin would not detect until simulation/verification time, or that S pin may miss completely. We discuss theoretical and practical problems associated with designing a type system and type checker for an existing language, and formalise our approach using a Promela-like calculus. To handle subtyping between base types, we present an extension to a standard unification algorithm to solve a system of equality and subtyping constraints, based on bounded substitutions." @default.
- W2068086706 created "2016-06-24" @default.
- W2068086706 creator A5080781439 @default.
- W2068086706 date "2010-11-01" @default.
- W2068086706 modified "2023-10-14" @default.
- W2068086706 title "Type inference and strong static type checking for Promela" @default.
- W2068086706 cites W105900120 @default.
- W2068086706 cites W1491178396 @default.
- W2068086706 cites W1507723317 @default.
- W2068086706 cites W1521993263 @default.
- W2068086706 cites W1539432158 @default.
- W2068086706 cites W1543368493 @default.
- W2068086706 cites W1546727036 @default.
- W2068086706 cites W1556536463 @default.
- W2068086706 cites W1557561422 @default.
- W2068086706 cites W1594100802 @default.
- W2068086706 cites W1605811149 @default.
- W2068086706 cites W1829244603 @default.
- W2068086706 cites W1941373452 @default.
- W2068086706 cites W1943502734 @default.
- W2068086706 cites W1975199452 @default.
- W2068086706 cites W1976758788 @default.
- W2068086706 cites W1980939032 @default.
- W2068086706 cites W2008838944 @default.
- W2068086706 cites W2016049804 @default.
- W2068086706 cites W2019376542 @default.
- W2068086706 cites W2022443117 @default.
- W2068086706 cites W2026965951 @default.
- W2068086706 cites W2055986709 @default.
- W2068086706 cites W2068336423 @default.
- W2068086706 cites W2068457689 @default.
- W2068086706 cites W2081992169 @default.
- W2068086706 cites W2093036100 @default.
- W2068086706 cites W2105590118 @default.
- W2068086706 cites W2109568634 @default.
- W2068086706 cites W2126509366 @default.
- W2068086706 cites W2137186143 @default.
- W2068086706 cites W2147609113 @default.
- W2068086706 cites W2147650172 @default.
- W2068086706 cites W2158542561 @default.
- W2068086706 cites W2166822586 @default.
- W2068086706 cites W2169136701 @default.
- W2068086706 cites W2293278021 @default.
- W2068086706 cites W3215922478 @default.
- W2068086706 cites W68069235 @default.
- W2068086706 cites W1520247096 @default.
- W2068086706 doi "https://doi.org/10.1016/j.scico.2010.05.010" @default.
- W2068086706 hasPublicationYear "2010" @default.
- W2068086706 type Work @default.
- W2068086706 sameAs 2068086706 @default.
- W2068086706 citedByCount "1" @default.
- W2068086706 crossrefType "journal-article" @default.
- W2068086706 hasAuthorship W2068086706A5080781439 @default.
- W2068086706 hasBestOaLocation W20680867061 @default.
- W2068086706 hasConcept C110251889 @default.
- W2068086706 hasConcept C154945302 @default.
- W2068086706 hasConcept C18903297 @default.
- W2068086706 hasConcept C198370458 @default.
- W2068086706 hasConcept C199360897 @default.
- W2068086706 hasConcept C2776214188 @default.
- W2068086706 hasConcept C2776329536 @default.
- W2068086706 hasConcept C2777299769 @default.
- W2068086706 hasConcept C41008148 @default.
- W2068086706 hasConcept C86803240 @default.
- W2068086706 hasConceptScore W2068086706C110251889 @default.
- W2068086706 hasConceptScore W2068086706C154945302 @default.
- W2068086706 hasConceptScore W2068086706C18903297 @default.
- W2068086706 hasConceptScore W2068086706C198370458 @default.
- W2068086706 hasConceptScore W2068086706C199360897 @default.
- W2068086706 hasConceptScore W2068086706C2776214188 @default.
- W2068086706 hasConceptScore W2068086706C2776329536 @default.
- W2068086706 hasConceptScore W2068086706C2777299769 @default.
- W2068086706 hasConceptScore W2068086706C41008148 @default.
- W2068086706 hasConceptScore W2068086706C86803240 @default.
- W2068086706 hasIssue "11" @default.
- W2068086706 hasLocation W20680867061 @default.
- W2068086706 hasLocation W20680867062 @default.
- W2068086706 hasOpenAccess W2068086706 @default.
- W2068086706 hasPrimaryLocation W20680867061 @default.
- W2068086706 hasRelatedWork W117130080 @default.
- W2068086706 hasRelatedWork W152483390 @default.
- W2068086706 hasRelatedWork W1601757209 @default.
- W2068086706 hasRelatedWork W197558729 @default.
- W2068086706 hasRelatedWork W2042751794 @default.
- W2068086706 hasRelatedWork W2128091120 @default.
- W2068086706 hasRelatedWork W2151898527 @default.
- W2068086706 hasRelatedWork W2401820446 @default.
- W2068086706 hasRelatedWork W2561675236 @default.
- W2068086706 hasRelatedWork W2741430969 @default.
- W2068086706 hasVolume "75" @default.
- W2068086706 isParatext "false" @default.
- W2068086706 isRetracted "false" @default.
- W2068086706 magId "2068086706" @default.
- W2068086706 workType "article" @default.