#

small-step-specifications

Here is 1 public repository matching this topic...

CorSys

orel-adivi / CorSys

Synthesizing best-effort Python expressions while weighting the chance for mistakes in given user outputs.

python software-engineering software-synthesis programming-by-example small-step-specifications mistake-handling best-effort-synthesis

Updated Jul 13, 2024
Python

Improve this page

Add a description, image, and links to the small-step-specifications topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the small-step-specifications topic, visit your repo's landing page and select "manage topics."