广告

遥控玩具一个多范式声明系统

  • F·J·L·佩兹·弗拉格乌斯
  • J·S·N·谢恩斯·汉纳德兹
会议论文
部分计算机科学讲义图书系列(LNCS,第1631卷)

摘要

遥控玩具CRWL的具体实现是声明性编程的一个广泛的理论框架,其基础是基于构造函数的重写逻辑,以懒惰的非确定性函数为核心概念。CRWL支持的其他方面遥控玩具是:多态类型;HO特征;等式和不等式约束条件和实数的线性约束;目标求解通过必要的变窄结合约束求解。该实现是基于编译的遥控玩具程序转换为Prolog。

关键词

线性约束逻辑程序设计部分求值器函数逻辑声明式程序设计
这些关键字是由机器而不是作者添加的。这个过程是实验的,关键字可以随着学习算法的改进而更新。

预览

无法显示预览。下载预览PDF。

无法显示预览。下载预览PDF。

推荐信

  1. AEH94.
    S. Antoy,R. Echahed,M. Hanus。一个需要缩小的策略。PROC波普94,268—279, 1994。谷歌学者
  2. AHL+96。
    P.ArNas,T.HOTALA,F.J.L.Pez,E.UrA.N.Au[Au]函数逻辑语言中的实际约束。PROCAPIIA-GURP PRODE,451—462, 1996。谷歌学者
  3. ALR98A
    P. Arenas,F.J·L·佩兹,罗德里格斯先生。将多集约束嵌入到惰性函数逻辑语言中。PROC普利普98斯普林格LNCS 1490, 429 - 444, 1998。谷歌学者
  4. ALR98B
    P. Arenas,F.J·L·佩兹,罗德里格斯先生。具有内置和符号约束的功能加逻辑编程,1998。已提交.谷歌学者
  5. AR97
    P. Arenas,罗德里格斯先生。具有代数多态类型的函数逻辑程序设计的语义框架。TopSo.97斯普林格LNCS 1214, 453 - 464, 1997。谷歌学者
  6. AR97
    P. Arenas,罗德里格斯先生。代数多态型函数逻辑编程的一种懒散收敛演算。PROCILP'97麻省理工学院出版社,53—69, 1997。谷歌学者
  7. CL98A
    R. Caballero,F.J·L·佩兹。对单子的功能逻辑替代。PROC计算机逻辑中基于组件的软件开发研讨会,87—100, 1998。谷歌学者
  8. CL98B。
    R. Caballero,F.J·L·佩兹。用非确定性函数进行解析。PROCAPIIA-GURP PRODE’98,1—16, 1998。谷歌学者
  9. GHL + 98。
    J.C. Gonz·拉兹,T. Hortala,F.J·L·佩兹,罗德里格斯先生。一种基于重写逻辑的声明式编程方法。出现在JLP中,1998。早期版本员工持股计划.谷歌学者
  10. GHR97。
    J.C. Gonz·拉兹,霍尔塔尔先生,罗德里格斯先生。函数逻辑程序的高阶重写逻辑ICLP’97麻省理工学院出版社,153—167, 1997。谷歌学者
  11. HAN94.
    M. Hanus。函数集成到逻辑程序设计中,JLP,19和20, 583 - 628, 1994。马斯克内特交叉裁判谷歌学者
  12. HAN97
    M. Hanus。函数与逻辑程序的统一计算模型PROC波普97,80—93, 1997。谷歌学者
  13. HAN98.
    M. Hanus(E.)Curry:一种集成的功能逻辑语言。可在http://www. i2.信息报.亚琛工业大学,1998。
  14. LS98
    我是一个朋友。一种有效的变窄策略。技术代表98/84,SIP,UCM马德里,1998。谷歌学者
  15. LRR93.
    R. Loogen,F.J·L·佩兹,罗德里格斯先生。一种需求驱动的懒惰计算策略。PROCPLILP3斯普林格LNCS 714, 184 - 200, 1993。谷歌学者
  16. MR92
    J.J. Moreno,罗德里格斯先生。函数和谓词的逻辑编程:语言巴别塔。JLP,12, 191—223, 1992。ZB数学交叉裁判谷歌学者

版权信息

斯普林格出版社柏林海德堡1999

作者与从属关系

  • F·J·L·佩兹·弗拉格乌斯
  • J·S·N·谢恩斯·汉纳德兹
  1. 1。告诉你的计划马德里完全大学理工大学。马特拉蒂卡斯马德里

个性化推荐