检索结果-内蒙古大学图书馆

您好，读者！请登录

咨询与建议

限定检索结果

文献类型

1 篇 会议

馆藏范围

1 篇 电子文献
0 种 纸本馆藏

日期分布

语言

1 篇 英文

检索条件"任意字段=19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR2009"

共 1 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

logic-based program synthesis and transformation - 19th international symposium, lopstr 2009, Revised Selected Papers

Logic-Based Program Synthesis and Transformation - 19th Inte...

引用

19th international symposium on logic-based program synthesis and transformation, lopstr2009

ISBN: (纸本)3642125913

the proceedings contain 14 papers. the topics discussed include: towards scalable partial evaluation of declarative programs;deciding full branching time logic by program transformation;a transformational approach for proving properties of the CHR constraint store;the dependency triple framework for termination of logic programs;goal-directed and relative dependency pairs for proving the termination of narrowing;LP with flexible grouping and aggregates using modes;on inductive and coinductive proofs via unfold/fold transformations;coinductive logic programming with negation;refining exceptions in four-valued logic;towards a framework for constraint-based test case generation;using rewrite strategies for testing BUpL agents;towards just-in-time partial evaluation of prolog;program parallelization using synchronized pipelining;and defining datalog in rewriting logic.

关键词：

来源：评论

学校读者我要写书评

暂无评论

全选清除本页清除全部题录导出标记到“检索档案”

共1页 << < 1 > >>

回到顶部

执行限定条件

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：