Automatic Inference of Term Equivalence in Term Rewriting Systems.
SCSS(2013)
摘要
In this paper we propose a method to automatically infer algebraic property-oriented specications from Term Rewriting Systems. Namely, having three semantics with suitable properties, given the source code of a TRS we infer a specication which consists of a set of most general equations relating terms that rewrite, for all possible instantiations, to the same set of constructor terms. The semantic-based inference method that we propose can cope with non-constructorbased TRSs, and considers non-ground terms. Particular emphasis is put on avoiding the generation of \redundant" equations that can be a logical consequence of other ones.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络