Software Development
Operational Semantics Builder
Define and test operational semantics specifications for programming languages
- Publisher / source
- a5c-ai/babysitter (found on GitHub top repositories)
- Upstream record
- a5c-ai/babysitter
- Version
- Version 1
- Published
- Publication review
- Approved for publication · recorded passed scan 2026-11-07
- Content fingerprint
b88a026edfb6b2f79a4ab17e8cccdcb2573d116eee2e8468e8116c4f99529970