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 : Veri…