#

small-step-semantics

Here are 5 public repositories matching this topic...

aslanix / SmallStepNI

Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq

coq information-flow-control small-step-semantics noninterference

Updated Feb 22, 2020
Coq

harp-project / Core-Erlang-Formalization

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

Updated Nov 14, 2024
Coq

mjftw / clojure-simple-lang

A Clojure implementation of the SIMPLE language as described in Understanding Computation by Tom Stuart. https://computationbook.com/

clojure understanding-computation small-step-semantics programmin-language

Updated Feb 15, 2021
Clojure

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

Lo-DS / COtt

Ott implementation for C++

small-step-semantics program-semantics

Updated Jun 24, 2024
C++

Improve this page

Add a description, image, and links to the small-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 small-step-semantics topic, visit your repo's landing page and select "manage topics."