This project tries to develop a language prototyping system using modular monadic semantics. We are currently applying it to develop program slicers
The project is maintained in Sourceforge
Some more information visit the Old LPS site