Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with operational-semantics
A curated list of projects in awesome lists tagged with operational-semantics .
https://github.com/ilyasergey/plt-redex-fj
A PLT Redex implementation of Featherweight Java
featherweight-java operational-semantics plt-redex
Last synced: 05 Dec 2024
https://github.com/jhu-pl-lab/dde
Pure Demand Operational Semantics
abstract-interpretation coq interpreter ocaml operational-semantics program-analysis
Last synced: 10 Oct 2024
https://github.com/ccamacho/phd
Ph.D dissertation website
axiomatic-semantics denotational-semantics foda formal-methods operational-semantics process-algebras software-product-lines
Last synced: 17 Nov 2024
https://github.com/marcinbrojek/zpo-mgr
Explore dynamic code analysis in an interpreter for a language that allows on-the-fly customization of syntax rules, small-step operational semantics, and typing. This project facilitates real-time modifications to language interpretation, empowering users to adapt coding experiences according to specific needs.
dynamic-analysis interpreter language-design operational-semantics python syntax-rules type-system
Last synced: 30 Nov 2024
