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

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Octagon
@@ Property / describes a project that uses: Octagon / 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.tcs.2006.08.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2016209832
@@ Property / OpenAlex ID: W2016209832 / rank @@
+Normal rank
@@ 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