• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>European symposium on programming;European joint conferences on theory and practice of software >Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
【24h】

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System

机译：进行随机判断：根据类型系统的定义自动生成类型正确的术语

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper presents a generic method for randomly generating well-typed expressions. It starts from a specification of a typing judgment in PUT Re-dex and uses a specialized solver that employs randomness to find many different valid derivations of the judgment form. Our motivation for building these random terms is to more effectively falsify conjectures as part of the tool-support for semantics models specified in Redex. Accordingly, we evaluate the generator against the other available methods for Redex, as well as the best available custom well-typed term generator. Our results show that our new generator is much more effective than generation techniques that do not explicitly take types into account and is competitive with generation techniques that do, even though they are specialized to particular type-systems and ours is not.
机译：本文提出了一种随机生成类型良好的表达式的通用方法。它从PUT Re-dex中的类型判断的规范开始，并使用专门的求解器，该求解器利用随机性来查找判断形式的许多不同有效派生。建立这些随机术语的动机是为了更有效地伪造猜想，作为Redex中指定的语义模型的工具支持的一部分。因此，我们针对Redex的其他可用方法以及最佳可用的自定义良好类型的术语生成器，评估了生成器。我们的结果表明，与没有明确考虑类型的生成技术相比，我们的新生成器要有效得多，即使它们专门针对特定的类型系统，我们的生成器也可以与具备此功能的生成技术竞争。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号