Clojure implementation of Generalized Quantifiers for English sentences.
-
Updated
Oct 26, 2013 - Clojure
Clojure implementation of Generalized Quantifiers for English sentences.
Formal semantics of LLVM IR in K
Formally correct DSLs
Repositório destinado aos exercícios e trabalhos da disciplina de Semântica Formal
fspl: Formal Semantics of Programming Languages
K Learning Experience
Artifact Evaluation, PLDI'19
Artifact Evaluation, PLDI'20
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.
A library for manipulating DMRS structures
Formal proof with the Coq theorem prover of the equivalence of three semantics for a language describing the behavior of distributed systems.
Formal Semantics of P4 in K
Proof of concept
A style guide for Coq
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.
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."