首页> 外文OA文献 >A Call-by-Need Strategy for Higher-Order Functional-Logic Programming

【2h】

A Call-by-Need Strategy for Higher-Order Functional-Logic Programming

机译：高阶功能逻辑编程的按需调用策略

页面导航

著录项
相似文献
相关主题

著录项

作者
Christian Prehofer;
展开▼
作者单位

展开▼
年度 1995
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Transformation Rules and Strategies for Functional-Logic Programs [J] . Gines Moreno AI communications . 2002,第2a3期

机译：功能逻辑程序的转换规则和策略
2. A Hybrid Programming Scheme Combining Fuzzy-logic And Functional-logic Resources [J] . Gines Moreno, Vicente Pascual Fuzzy sets and systems . 2009,第10期

机译：模糊逻辑与功能逻辑资源相结合的混合编程方案
3. Constructive Failure in Functional-Logic Programming: From Theory to Implementation [J] . Jaime Sánchez-Hernández Journal of Universal Computer Science . 2006,第11期

机译：功能逻辑编程中的构造性失败：从理论到实现
4. Higher-Order functional-logic programming: a systematic development [C] . Christian Prehofer International workshop on functional and logic programming . 1997

机译：高阶功能逻辑编程：系统开发
5. An abstract operational model for a functional-logic programming language. [D] . Takahashi, Silvia. 1994

机译：功能逻辑编程语言的抽象操作模型。
6. PcG-Mediated Higher-Order Chromatin Structures Modulate Replication Programs at the Drosophila BX-C [O] . Federica Lo Sardo, Chiara Lanzuolo, Federico Comoglio, 2013

机译：PcG介导的高级染色质结构调节果蝇BX-C上的复制程序。
7. A logic programming approach to the verification of functional-logic programs [O] . Jose ́ Miguel Cleva, Javier Leach, Francisco J, 2004

机译：一种逻辑编程方法，用于验证功能逻辑程序

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号