There are 4 repositories under formal-semantics topic.
Formal semantics of LLVM IR in K
Formal Semantics of P4 in K
Practical Program Analysis (academic course) presented in Innopolis University in 2023
Formally correct DSLs
Clojure implementation of Generalized Quantifiers for English sentences.
A retargetable and extensible synthesis-based compiler for modern hardware architectures
Proof of concept
K Learning Experience
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.
Artifact Evaluation, PLDI'19
Formal proof with the Coq theorem prover of the equivalence of three semantics for a language describing the behavior of distributed systems.
Uma aplicação web que implementa um interpretador para uma variação do cálculo-lambda com operações de concorrência e tipos de sessão.
Язык С++ ВМК 2 курс 1 поток
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
Repositório destinado aos exercícios e trabalhos da disciplina de Semântica Formal
"Languages, Compilers, and Interpreters" Course Material
Artifact Evaluation, PLDI'20
Distributional Formal Semantics (DFS) tools