Modular-monadic-semantics

A monadic program slicer

A Formal Method for program Slicing

Modular development of Language Processors from Reusable Semantic Specifications

An Implementation of Modular Monadic Semantics using Folds and Monadic Folds