Observations on the assured evolution of concurrent Java programs (Q2575141): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2005.03.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2074563583
@@ Property / OpenAlex ID: W2074563583 / rank @@
+Normal rank
@@ Property / cites work @@
+Observations on the assured evolution of concurrent Java programs
+Normal rank
@@ Property / cites work @@
+Q3122691
@@ Property / cites work: Q3122691 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708513
@@ Property / cites work: Q4708513 / rank @@
+Normal rank
@@ Property / cites work @@
+The Java memory model
@@ Property / cites work: The Java memory model / rank @@
+Normal rank
@@ Property / cites work @@
+Lock coarsening: Eliminating lock overhead in automatically parallelized object-based programs
+Normal rank
@@ Property / cites work @@
+Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
+Normal rank