CakeML: A Verified Implementation of ML
-
Updated
Jul 16, 2024 - Standard ML
CakeML: A Verified Implementation of ML
Tableau-based Theorem Prover for Natural Logic and Language
Formal semantics of LLVM IR in K
Formal Semantics of P4 in K
A style guide for Coq
A library for manipulating DMRS structures
Distributional Formal Semantics (DFS) tools
Practical Program Analysis (academic course) presented in Innopolis University in 2023
Formally correct DSLs
Clojure implementation of Generalized Quantifiers for English sentences.
fspl: Formal Semantics of Programming Languages
A retargetable and extensible synthesis-based compiler for modern hardware architectures
K Learning Experience
Proof of concept
Artifact Evaluation, PLDI'19
Formal proof with the Coq theorem prover that elements of some equivalence classes defined over a formal language of interactions describing the behavior of distributed systems have the same semantics.
Add a description, image, and links to the formal-semantics topic page so that developers can more easily learn about it.
To associate your repository with the formal-semantics topic, visit your repo's landing page and select "manage topics."