CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types (Q3499747): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1554855925
@@ Property / OpenAlex ID: W1554855925 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalising Java’s Data Race Free Guarantee
@@ Property / cites work: Formalising Java’s Data Race Free Guarantee / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763680
@@ Property / cites work: Q2763680 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Towards a mechanized metatheory of standard ML
@@ Property / cites work: Towards a mechanized metatheory of standard ML / 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 @@
+Executable JVM model for analytical reasoning: A study
+Normal rank
@@ Property / cites work @@
+The Java memory model
@@ Property / cites work: The Java memory model / rank @@
+Normal rank
@@ Property / cites work @@
+Q4261077
@@ Property / cites work: Q4261077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2742791
@@ Property / cites work: Q2742791 / rank @@
+Normal rank