Published August 23, 2024 | Version 0.0.4
Software Open

Artifact of paper "Synthesizing Formal Semantics from Executable Interpreters"

Authors/Creators

  • 1. ROR icon University of Wisconsin–Madison
  • 2. ROR icon University of California, San Diego

Contributors

  • 1. ROR icon University of Wisconsin–Madison

Description

This is the artifact of paper "Synthesizing Formal Semantics from Executable Interpreters". It contains code for the tool Synantic as well as benchmarks used to support our claims in the paper.

Files

synantic.zip

Files (21.0 MB)

Name Size Download all
md5:9f187075f77799e5254cda48478f6d59
21.0 MB Preview Download

Additional details

Software

Programming language
Scala