Proof-carrying code from certified abstract interpretation and fixpoint compression (Q860842): Difference between revisions

@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+A semantic model of types and machine instructions for proof-carrying code
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934630
@@ Property / cites work: Q4934630 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A compiled implementation of strong reduction
@@ Property / cites work: A compiled implementation of strong reduction / rank @@
+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 @@
+Q4936138
@@ Property / cites work: Q4936138 / rank @@
+Normal rank
@@ Property / cites work @@
+Oracle-based checking of untrusted software
@@ Property / cites work: Oracle-based checking of untrusted software / rank @@
+Normal rank
@@ Property / cites work @@
+Lightweight bytecode verification
@@ Property / cites work: Lightweight bytecode verification / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673417
@@ Property / cites work: Q4673417 / rank @@
+Normal rank