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

@@ Property / Mathematics Subject Classification ID @@
+N19
@@ Property / Mathematics Subject Classification ID: 68N19 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6059148
@@ Property / zbMATH DE Number: 6059148 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+concurrent programming
@@ Property / zbMATH Keywords: concurrent programming / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+parallel programming
@@ Property / zbMATH Keywords: parallel programming / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+safe futures
@@ Property / zbMATH Keywords: safe futures / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+exception handling
@@ Property / zbMATH Keywords: exception handling / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Atomizer
@@ Property / describes a project that uses: Atomizer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Grace
@@ Property / describes a project that uses: Grace / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:436391