Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language

A PLT Redex implementation of Featherweight Java

Developing a type system for a minimal reversible functional language.

A Lazy Desugaring System for Evaluating Programs with Sugars

Pure Demand Operational Semantics

Записки по курса ,,Семантика на езиците за програмиране"

Brenner is a calculus for reasoning about task parallelism and barrier synchronization. This calculus distils the semantics of phasers and unifies the synchronisation patterns of various abstractions.

A simple implementation of the operational semantics of small and big steps in Ruby

Ph.D dissertation website

personal notes about graphql

HIBOU implements a small-step operational semantics for labelled interaction models as well as a trace and multi-trace analysis algorithm

HIBOU EFM implements a small-step operational semantics for interaction models with data and time as well as a trace and multi-trace analysis algorithm

A GraphQL-like query language. Preliminary experiments.

Executable operational semantics to prototype programming languages

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.

Course notes

HIBOU for typed message passing

repository with the submitted source code for the MSc thesis named "CoMPSeT - Comparing Multiparty Session Types"