Automatic proofs of memory deallocation for a Whiley-to-C compiler (Q2058392): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-021-00378-0
@@ Property / DOI: 10.1007/s10703-021-00378-0 / rank @@
-Normal rank
@@ Property / cites work @@
+Logic in Computer Science
@@ Property / cites work: Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Compiler Design
@@ Property / cites work: Compiler Design / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808804
@@ Property / cites work: Q4808804 / rank @@
+Normal rank
@@ Property / cites work @@
+Dependent types and multi-monadic effects in F*
@@ Property / cites work: Dependent types and multi-monadic effects in F* / rank @@
+Normal rank
@@ Property / cites work @@
+Set constraints for destructive array update optimization
+Normal rank
@@ Property / cites work @@
+A universal algorithm for sequential data compression
+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.1007/s10703-021-00378-0
+Normal rank
@@ Property / OpenAlex ID @@
+W3195123533
@@ Property / OpenAlex ID: W3195123533 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113902719
@@ Property / Wikidata QID: Q113902719 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10703-021-00378-0
@@ Property / DOI: 10.1007/S10703-021-00378-0 / rank @@
+Normal rank