Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
-
Updated
Jan 26, 2023 - HTML
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
Язык С++ ВМК 2 курс 1 поток
Artifact Evaluation, PLDI'20
A simple but extensible Python module for sentences
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.
Distributional Formal Semantics (DFS) tools
Repositório destinado aos exercícios e trabalhos da disciplina de Semântica Formal
A retargetable and extensible synthesis-based compiler for modern hardware architectures
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.
NAACL2022 Interactive Symbol Grounding with Complex Referential Expressions
K Learning Experience
Proof of concept
fspl: Formal Semantics of Programming Languages
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."