Operational Semantics Builder

Define and test operational semantics specifications for programming languages

a5c-ai Updated 1.7k repo stars

File contents

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

a5c-ai/babysitter/tree/main/library/specializations/domains/science/computer-science/skills/operational-semantics-builder commit ba9bd2c8ae

Frequently asked questions

npx skillmds@latest add a5c-ai/operational-semantics-builder