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 / DOI @@
+.1007/S10703-021-00378-0
@@ Property / DOI: 10.1007/S10703-021-00378-0 / rank @@
+Normal rank