K-Framework

K Semantic Framework is a programming language, or a modeling and verification tool, specifically designed to analyze programming languages. It itself is a programming language, mostly modeled after lambda calculus.