Dependence analysis for safe futures (Q436391): Difference between revisions

@@ Property / describes a project that uses @@
+Multilisp
@@ Property / describes a project that uses: Multilisp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Fortress
@@ Property / describes a project that uses: Fortress / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2010.09.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2001515918
@@ Property / OpenAlex ID: W2001515918 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with exceptions in JCilk
@@ Property / cites work: Programming with exceptions in JCilk / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738364
@@ Property / cites work: Q4738364 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of future and an application
@@ Property / cites work: The semantics of future and an application / rank @@
+Normal rank
@@ Property / cites work @@
+Atomizer: A dynamic atomicity checker for multithreaded programs
+Normal rank
@@ Property / cites work @@
+Q2845505
@@ Property / cites work: Q2845505 / rank @@
+Normal rank
@@ Property / cites work @@
+MULTILISP: a language for concurrent symbolic computation
+Normal rank
@@ Property / cites work @@
+Q3939216
@@ Property / cites work: Q3939216 / rank @@
+Normal rank
@@ Property / cites work @@
+Software transactional memory
@@ Property / cites work: Software transactional memory / rank @@
+Normal rank