perses: syntax-directed, language-agnostic program reducer (GitHub) (github.com)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 27 Dec 2023 22:29
https://programming.dev/post/7793386

Paper

Program reduction takes a program and a set of constraints and produces one of a smaller size which maintains the constraints; specifically, perses takes a program and test script, and produces a smaller program which still passes the test script. One usecase is to generate minimal reproductions for crashes.

#programming_languages