A Brief Overview of HOL4 (Q3543646): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-71067-7_6
+Normal rank
@@ Property / OpenAlex ID @@
+W1943070836
@@ Property / OpenAlex ID: W1943070836 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754029
@@ Property / cites work: Q2754029 / rank @@
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Compilation as Rewriting in Higher Order Logic
@@ Property / cites work: Compilation as Rewriting in Higher Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Hoare Logic for Realistically Modelled Machine Code
+Normal rank
@@ Property / cites work @@
+A Thread of HOL Development
@@ Property / cites work: A Thread of HOL Development / rank @@
+Normal rank
@@ Property / cites work @@
+A Sound Semantics for OCaml light
@@ Property / cites work: A Sound Semantics for OCaml light / rank @@
+Normal rank
@@ Property / cites work @@
+Ott
@@ Property / cites work: Ott / rank @@
+Normal rank
@@ Property / cites work @@
+Proof producing synthesis of arithmetic and cryptographic hardware
+Normal rank