big-step-semantics

There are 0 repository under big-step-semantics topic.

• harp-project / Core-Erlang-Formalization

  coqformalizationcore-erlangbig-step-semanticsprogram-equivalencesmall-step-semantics
  Language:Coq 9

• sidmishraw / bool-lang-1

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

  booleanscalalanguage-designbig-step-semanticssmall-step-semanticswhile-languagebool-lang
  Language:Scala