Preservation of Proof Obligations from Java to the Java Virtual Machine (Q3541689): Difference between revisions

@@ 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/978-3-540-71070-7_7
+Normal rank
@@ Property / OpenAlex ID @@
+W1891086641
@@ Property / OpenAlex ID: W1891086641 / 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 @@
+Certificate Translation in Abstract Interpretation
+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 @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Symbolic transfer function-based approaches to certified compilation
+Normal rank
@@ Property / cites work @@
+A compositional natural semantics and Hoare logic for low-level languages
+Normal rank