计算机科学>编程语言
标题: 无限结构上函数规划的SMT求解
摘要: 我们开发了一种简单的函数式编程语言,旨在处理无限但一阶可定义的结构,例如可数无限团图或具有有理端点的所有区间集。 在内部,这些集合由定义它们的逻辑公式表示,解释器定期运行外部可满足性模理论(SMT)解算器来检查它们的基本属性。 该语言是作为Haskell模块实现的。
摘要: 我们开发了一种简单的函数式编程语言,旨在处理无限但一阶可定义的结构,例如可数无限团图或具有有理端点的所有区间集。 在内部,这些集合由定义它们的逻辑公式表示,解释器定期运行外部可满足性模理论(SMT)解算器来检查它们的基本属性。 该语言是作为Haskell模块实现的。
|
|
|
|
|