Lem: A Lightweight Tool for Heavyweight Semantics (Q3088021): Difference between revisions

@@ Property / cites work @@
+Mathematizing C++ concurrency
@@ Property / cites work: Mathematizing C++ concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Analysis of Narratives with the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture
+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 @@
+Relaxed-memory concurrency and verified compilation
+Normal rank
@@ Property / cites work @@
+Ott: Effective tool support for the working semanticist
+Normal rank