CakeML: A Verified Implementation of ML
-
Updated
Dec 4, 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
Distributional Formal Semantics (DFS) tools
A style guide for Coq
A library for manipulating DMRS structures
Practical Program Analysis (academic course) presented in Innopolis University in 2023
A retargetable and extensible synthesis-based compiler for modern hardware architectures
Formally correct DSLs
Clojure implementation of Generalized Quantifiers for English sentences.
fspl: Formal Semantics of Programming Languages
K Learning Experience
Proof of concept
Язык С++ ВМК 2 курс 1 поток
Artifact Evaluation, PLDI'19
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."