#

big-step-semantics

Here are 2 public repositories matching this topic...

harp-project / Core-Erlang-Formalization

coq formalization core-erlang big-step-semantics small-step-semantics program-equivalence

Updated Dec 21, 2024
Coq

sidmishraw / bool-lang-1

BOOL, BOOL++ and WHILE language implementations using Scala on different branches

scala boolean language-design big-step-semantics small-step-semantics while-language bool-lang

Updated Sep 23, 2017
Scala

Improve this page

Add a description, image, and links to the big-step-semantics topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the big-step-semantics topic, visit your repo's landing page and select "manage topics."