Language Semantics Frameworks

Frameworks for defining, analyzing, and executing formal semantics of programming languages; these tools help generate interpreters, compilers, and enable formal analysis based on language semantics.