Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction.
Zhenyang XuYongqiang TianMengxiao ZhangGaosen ZhaoYu JiangChengnian SunPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- computer programs
- programming environment
- programming language
- declarative semantics
- language learning
- partial order
- modeling language
- functional programs
- programs written
- intended meaning
- natural language
- conceptual graphs
- data sets
- modelling language
- semantically equivalent
- computational linguistics
- description languages
- program execution
- logic programming language
- data mining