Published June 16, 2023 | Version v4
Software Open

Explainable Program Synthesis by Localizing Specifications

Creators

  • 1. University of Southern California
  • 2. Purdue University
  • 3. Microsoft

Description

This is the artifact package associated with our submitted paper on subspecifications.

Usage instructions are included.

Files

Files (87.7 MB)

Name Size Download all
md5:88130e2d8174550896d7da5ece36a42f
87.7 MB Download