Matches in SemOpenAlex for { <https://semopenalex.org/work/W2025048859> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2025048859 abstract "Assuring and evolving concurrent programs requires understanding the concurrency-related design decisions used in their implementation. Source code often does not reveal these design decisions because they may not have purely local manifestations in the code, or because they cannot be inferred from code. As a result, this design intent is usually not expressed, and it is therefore generally infeasible to assure that concurrent programs are free of race conditions.We describe a prototype Eclipse-based tool developed as part of research toward a practicable approach to capturing and assuring design intent. Through the use of annotations and composable static analyses we can help assure consistency of code and intent as both evolve. The dominant design consideration for the tool is the principle of early gratification---some assurance can be obtained with minimal or no annotation effort, and additional increments of annotation or other effort are rewarded with additional increments of assurance." @default.
- W2025048859 created "2016-06-24" @default.
- W2025048859 creator A5006616301 @default.
- W2025048859 creator A5014225180 @default.
- W2025048859 creator A5018254610 @default.
- W2025048859 date "2003-01-01" @default.
- W2025048859 modified "2023-10-16" @default.
- W2025048859 title "Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent" @default.
- W2025048859 cites W1526771983 @default.
- W2025048859 cites W1566907965 @default.
- W2025048859 cites W1993836075 @default.
- W2025048859 cites W2046317364 @default.
- W2025048859 cites W2077288840 @default.
- W2025048859 cites W2093370559 @default.
- W2025048859 cites W2109875364 @default.
- W2025048859 doi "https://doi.org/10.1145/965660.965681" @default.
- W2025048859 hasPublicationYear "2003" @default.
- W2025048859 type Work @default.
- W2025048859 sameAs 2025048859 @default.
- W2025048859 citedByCount "5" @default.
- W2025048859 countsByYear W20250488592016 @default.
- W2025048859 crossrefType "proceedings-article" @default.
- W2025048859 hasAuthorship W2025048859A5006616301 @default.
- W2025048859 hasAuthorship W2025048859A5014225180 @default.
- W2025048859 hasAuthorship W2025048859A5018254610 @default.
- W2025048859 hasConcept C115903868 @default.
- W2025048859 hasConcept C121332964 @default.
- W2025048859 hasConcept C1276947 @default.
- W2025048859 hasConcept C154945302 @default.
- W2025048859 hasConcept C177264268 @default.
- W2025048859 hasConcept C193702766 @default.
- W2025048859 hasConcept C199360897 @default.
- W2025048859 hasConcept C2776436953 @default.
- W2025048859 hasConcept C2776760102 @default.
- W2025048859 hasConcept C2778505590 @default.
- W2025048859 hasConcept C41008148 @default.
- W2025048859 hasConcept C43126263 @default.
- W2025048859 hasConcept C548217200 @default.
- W2025048859 hasConceptScore W2025048859C115903868 @default.
- W2025048859 hasConceptScore W2025048859C121332964 @default.
- W2025048859 hasConceptScore W2025048859C1276947 @default.
- W2025048859 hasConceptScore W2025048859C154945302 @default.
- W2025048859 hasConceptScore W2025048859C177264268 @default.
- W2025048859 hasConceptScore W2025048859C193702766 @default.
- W2025048859 hasConceptScore W2025048859C199360897 @default.
- W2025048859 hasConceptScore W2025048859C2776436953 @default.
- W2025048859 hasConceptScore W2025048859C2776760102 @default.
- W2025048859 hasConceptScore W2025048859C2778505590 @default.
- W2025048859 hasConceptScore W2025048859C41008148 @default.
- W2025048859 hasConceptScore W2025048859C43126263 @default.
- W2025048859 hasConceptScore W2025048859C548217200 @default.
- W2025048859 hasLocation W20250488591 @default.
- W2025048859 hasOpenAccess W2025048859 @default.
- W2025048859 hasPrimaryLocation W20250488591 @default.
- W2025048859 hasRelatedWork W1493446239 @default.
- W2025048859 hasRelatedWork W1557800075 @default.
- W2025048859 hasRelatedWork W1589913369 @default.
- W2025048859 hasRelatedWork W1825982205 @default.
- W2025048859 hasRelatedWork W2028350956 @default.
- W2025048859 hasRelatedWork W2162118494 @default.
- W2025048859 hasRelatedWork W2477215876 @default.
- W2025048859 hasRelatedWork W2788685475 @default.
- W2025048859 hasRelatedWork W583902652 @default.
- W2025048859 hasRelatedWork W2528467228 @default.
- W2025048859 isParatext "false" @default.
- W2025048859 isRetracted "false" @default.
- W2025048859 magId "2025048859" @default.
- W2025048859 workType "article" @default.