operational-semantics-builder

# Operational Semantics Builder ## Purpose Provides expert guidance on defining operational semantics for programming language specification and testing. ## Capabilities - Small-step semantics rule generation - Big-step semantics rule generation - Evaluation context definition - Substitution and binding handling - Semantics execution/testing - Equivalence proofs ## Usage Guidelines 1. **Semantics Style**: Choose small-step or big-step 2. **Rule Definition**: Define reduction/evaluation rules 3. **Contexts**: Define evaluation contexts if needed 4. **Testing**: Execute semantics on test programs 5. **Validation**: Verify expected behavior ## Tools/Libraries - PLT Redex - K Framework - Ott - Maude