Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
复制标题
做出随机判断：根据类型系统的定义自动生成类型良好的术语
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
R. Findler
中科院分区：
文献类型：
--
作者：
B. Fetscher;Koen Claessen;Michal H. Palka;John Hughes;R. Findler
本文提出了一种随机生成类型良好表达式的通用方法。它从 PLT Redex 中的类型判断规范开始，并使用专门的求解器，利用随机性找到判断形式的许多不同的有效推导。
This paper presents a generic method for randomly generating well-typed expressions. It starts from a specification of a typing judgment in PLT Redex and uses a specialized solver that employs randomness to find many different valid derivations of the judgment form.