• 惠米尔

  • 24篇参考文献[SW09709]
  • 具有多态类型的顺序语言,模式匹配与归纳谓语. 程序可以使…
  • 巴别塔

  • 71篇参考文献[SW03018]
  • 具有函数的逻辑程序设计谓语语言巴别塔。我们研究了实验编程语言…适应Prolog术语和希望模式. 从句法的角度来看,巴贝尔组合…
  • 伊德里斯

  • 31篇参考文献[ SW2001 11]
  • 类型依赖类型允许类型为谓语的关于价值,意味着某些方面…包括:依赖型完全依赖型模式匹配;简单的外部函数接口(C);编译器…
  • 杰斯塔

  • 32篇参考文献[SW11261 ]
  • 验证:结合抽象的理念谓语家庭和象征性执行的理念…验证示例程序实现四种流行设计模式(主题/观察员,访问者,工厂,和汇集)。虽然这些…
  • 伊尔迪斯

  • 6篇参考文献[SW09690]
  • 类型依赖类型允许类型为谓语的关于价值,意味着某些方面…包括:依赖型完全依赖型模式匹配;WHERE子句,带规则,简单的case表达式…
  • 叮当声

  • 1篇参考文献[SW1289]
  • 比赛模式在抽象语法树(AST)的帮助下谓语. 这个谓语
  • 洛雷格

  • 2篇参考文献[SW0525]
  • 任务的解决模式识别,诊断,预测,并基于搜索…逻辑规律被定义为特殊的规律。谓语初等连词谓语定义间隔…
  • DSPROLogo

  • 0篇参考文献[SW19636]
  • 在DSPROLogo背后,是复杂的分类器。模式在信号中可以表示为表达式…用类似于Prolog的方法计算谓语是。DSPROLogo是一种桥接的方法。确定性的数据和符号描述模式在信号中…
  • 阿尔朗

  • 1篇参考文献[SW22063]
  • 允许伙伴选择依赖于谓语属性的过份集。阿尔朗避免了局限性…扩展,我们展示了如何扩展通信模式可以捕获非平凡的进程交互…
  • UTPCALC

  • 1篇参考文献[ SW22067 ]
  • UTCPALC——一个用于UTP的计算器谓语. 我们提出的UTP计算器的发展…用Haskell写模式-匹配代码。在本文中,我们描述…
  • CDD

  • 107篇参考文献[SW0114]
  • 程序CDD+(CDD,分别)是C.。
  • 辅酶Q

  • 1748篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 勒达

  • 258篇参考文献[SW0509]
  • 在核心的计算机科学领域——数据结构…
  • 林箱

  • 38篇参考文献[SW0522]
  • Link Box:一个精确线性代数的通用库…
  • MATLAB

  • 11446篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 超小卫星

  • 520篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…