Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570482200> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1570482200 endingPage "190" @default.
- W1570482200 startingPage "175" @default.
- W1570482200 abstract "In recent work, Flanagan and Qadeer proposed atomicity declarations as a light-weight mechanism for specifying non-interference properties in concurrent programming languages such as Java, and they provided a type and effect system to verify atomicity properties. While verification of atomicity specifications via a static type system has several advantages (scalability, compositional checking), we show that verification via model-checking also has several advantages (fewer unchecked annotations, greater coverage of Java idioms, stronger verification). In particular, we show that by adapting the Bogor model-checker, we naturally address several properties that are difficult to check with a static type system." @default.
- W1570482200 created "2016-06-24" @default.
- W1570482200 creator A5006459848 @default.
- W1570482200 creator A5018982940 @default.
- W1570482200 creator A5086757331 @default.
- W1570482200 date "2004-01-01" @default.
- W1570482200 modified "2023-10-17" @default.
- W1570482200 title "Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking" @default.
- W1570482200 cites W1523442991 @default.
- W1570482200 cites W1567536133 @default.
- W1570482200 cites W1596552075 @default.
- W1570482200 cites W1691700263 @default.
- W1570482200 cites W1972544179 @default.
- W1570482200 cites W2005675116 @default.
- W1570482200 cites W2039350582 @default.
- W1570482200 cites W2072062729 @default.
- W1570482200 cites W2082766667 @default.
- W1570482200 cites W2109875364 @default.
- W1570482200 cites W2115309705 @default.
- W1570482200 cites W2135274583 @default.
- W1570482200 cites W4235116491 @default.
- W1570482200 cites W4247239640 @default.
- W1570482200 doi "https://doi.org/10.1007/978-3-540-24622-0_16" @default.
- W1570482200 hasPublicationYear "2004" @default.
- W1570482200 type Work @default.
- W1570482200 sameAs 1570482200 @default.
- W1570482200 citedByCount "63" @default.
- W1570482200 countsByYear W15704822002012 @default.
- W1570482200 countsByYear W15704822002013 @default.
- W1570482200 countsByYear W15704822002014 @default.
- W1570482200 countsByYear W15704822002015 @default.
- W1570482200 countsByYear W15704822002016 @default.
- W1570482200 countsByYear W15704822002017 @default.
- W1570482200 countsByYear W15704822002018 @default.
- W1570482200 countsByYear W15704822002019 @default.
- W1570482200 countsByYear W15704822002023 @default.
- W1570482200 crossrefType "book-chapter" @default.
- W1570482200 hasAuthorship W1570482200A5006459848 @default.
- W1570482200 hasAuthorship W1570482200A5018982940 @default.
- W1570482200 hasAuthorship W1570482200A5086757331 @default.
- W1570482200 hasConcept C110251889 @default.
- W1570482200 hasConcept C111919701 @default.
- W1570482200 hasConcept C120314980 @default.
- W1570482200 hasConcept C188045909 @default.
- W1570482200 hasConcept C199360897 @default.
- W1570482200 hasConcept C41008148 @default.
- W1570482200 hasConcept C48044578 @default.
- W1570482200 hasConcept C548217200 @default.
- W1570482200 hasConcept C75949130 @default.
- W1570482200 hasConceptScore W1570482200C110251889 @default.
- W1570482200 hasConceptScore W1570482200C111919701 @default.
- W1570482200 hasConceptScore W1570482200C120314980 @default.
- W1570482200 hasConceptScore W1570482200C188045909 @default.
- W1570482200 hasConceptScore W1570482200C199360897 @default.
- W1570482200 hasConceptScore W1570482200C41008148 @default.
- W1570482200 hasConceptScore W1570482200C48044578 @default.
- W1570482200 hasConceptScore W1570482200C548217200 @default.
- W1570482200 hasConceptScore W1570482200C75949130 @default.
- W1570482200 hasLocation W15704822001 @default.
- W1570482200 hasOpenAccess W1570482200 @default.
- W1570482200 hasPrimaryLocation W15704822001 @default.
- W1570482200 hasRelatedWork W1992741870 @default.
- W1570482200 hasRelatedWork W2132150351 @default.
- W1570482200 hasRelatedWork W2348100758 @default.
- W1570482200 hasRelatedWork W2364921833 @default.
- W1570482200 hasRelatedWork W2380023786 @default.
- W1570482200 hasRelatedWork W2383284615 @default.
- W1570482200 hasRelatedWork W2385146268 @default.
- W1570482200 hasRelatedWork W2546696010 @default.
- W1570482200 hasRelatedWork W2909782669 @default.
- W1570482200 hasRelatedWork W2528467228 @default.
- W1570482200 isParatext "false" @default.
- W1570482200 isRetracted "false" @default.
- W1570482200 magId "1570482200" @default.
- W1570482200 workType "book-chapter" @default.