Formal Certification of a Resource-Aware Language Implementation (Q3183530): Difference between revisions

@@ Property / cites work @@
+Q4474214
@@ Property / cites work: Q4474214 / rank @@
+Normal rank
@@ Property / cites work @@
+Certificate Translation for Optimizing Compilers
@@ Property / cites work: Certificate Translation for Optimizing Compilers / rank @@
+Normal rank
@@ Property / cites work @@
+Static prediction of heap space usage for first-order functional programs
+Normal rank
@@ Property / cites work @@
+Verified bytecode verifiers.
@@ Property / cites work: Verified bytecode verifiers. / rank @@
+Normal rank
@@ Property / cites work @@
+Formal certification of a compiler back-end or
@@ Property / cites work: Formal certification of a compiler back-end or / rank @@
+Normal rank
@@ Property / cites work @@
+A formally verified compiler back-end
@@ Property / cites work: A formally verified compiler back-end / rank @@
+Normal rank
@@ Property / cites work @@
+Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic
+Normal rank
@@ Property / cites work @@
+A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
+Normal rank
@@ Property / cites work @@
+An Inference Algorithm for Guaranteeing Safe Destruction
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q4809043
@@ Property / cites work: Q4809043 / rank @@
+Normal rank