Deadlock checking by data race detection (Q465488): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6360846
@@ Property / zbMATH DE Number: 6360846 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+deadlock detection
@@ Property / zbMATH Keywords: deadlock detection / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+race detection
@@ Property / zbMATH Keywords: race detection / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+type and effect system
@@ Property / zbMATH Keywords: type and effect system / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+concurrency
@@ Property / zbMATH Keywords: concurrency / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal method
@@ Property / zbMATH Keywords: formal method / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cyclone
@@ Property / describes a project that uses: Cyclone / 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.jlamp.2014.07.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2065314458
@@ Property / OpenAlex ID: W2065314458 / rank @@
+Normal rank
@@ Property / cites work @@
+A Deadlock-Free Semantics for Shared Memory Concurrency
+Normal rank
@@ Property / cites work @@
+Q5633643
@@ Property / cites work: Q5633643 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753764
@@ Property / cites work: Q2753764 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4380998
@@ Property / cites work: Q4380998 / rank @@
+Normal rank
@@ Property / cites work @@
+Deadlock checking by a behavioral effect system for lock handling
+Normal rank
@@ Property / cites work @@
+Deadlock Checking by Data Race Detection
@@ Property / cites work: Deadlock Checking by Data Race Detection / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779111
@@ Property / cites work: Q4779111 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic inference of polymorphic lock types
@@ Property / cites work: Dynamic inference of polymorphic lock types / rank @@
+Normal rank
@@ Property / cites work @@
+Region Analysis for Race Detection
@@ Property / cites work: Region Analysis for Race Detection / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic type, region and effect inference
@@ Property / cites work: Polymorphic type, region and effect inference / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:465488