• 清洁

  • 58篇参考文献[SW01346]
  • 与外面的世界,所有在一个纯粹地功能框架。在这个概述之后,我们将…清洁版提供混合动力类型 系统既有静态的,也有动态的…
  • 克拉约诺

  • 1篇参考文献[SW29 395 ]
  • Cousineau和道威克[ 1 ]纯净的 类型 系统BeESPFUG和Burel〔2〕用于归纳类型
  • 德尔芬

  • 18篇参考文献[SW21365 ]
  • 演绎的系统. 我们提出了严格的设计和实现。纯净的函数编程…其他级别是T+!〔15〕,A类型设计支持模式匹配的编程理论…
  • GF

  • 32篇参考文献[SW13667 ]
  • 定义具体语法。GF语法本身就是纯粹地声明性的,但可以同时使用…形式语言。语法对象有类型 系统,这有助于消除运行时错误…
  • KICS2

  • 10篇参考文献[SW07613]
  • 系统将源语言Curry的函数逻辑程序编译成纯粹地功能性Haskell…确定结果作为数据的值类型与结果相对应。这使…
  • HLIO

  • 3篇参考文献[SW22611]
  • 通常通过强制执行类型 系统和静态分析或通过动态执行监控器…Haskell图书馆,起源于操作系统研究,实现一个纯粹地灵敏度的动态监测基于SimelTon的IFC校验延迟类型约束多态性。我们把HLIO正式化,证明…
  • ORE代数分析

  • 1篇参考文献[SW15153]
  • 代数分析方法研究系统从A纯粹地代数观点,用D模理论…同调代数技术不同的类型属于系统可以用……统一描述。
  • 2LV-D2P4

  • 7篇参考文献[SW0900]
  • 校正以获得两级预条件。纯净的预处理器的代数公式被认为是…开发抽象数据等特征类型创建,功能重载和动态内存管理,而…大规模线性测试系统由于模型问题和实际应用,显示…
  • 多康

  • 1篇参考文献[SW26352]
  • 真实世界CA系统基于纯净的功能性和“懒惰”计算。代数范畴层级…主要由哈斯克尔表达类型类、域-按类实例。但是域也是…
  • 坎仁

  • 4篇参考文献[ SW200 83]
  • 关系,嵌入在纯净的方案的函数子集。这个系统有一套理论上的…系统专家范围系统多态性类型推理和过载分辨率,模型检验…
  • 信函

  • 7篇参考文献[SW09416]
  • 纯净的函数语言的抽象程度很高。工作流程系统是自动化的…系统在哪些任务是协调的,必须由人类执行。商业工作流程中常见的模式系统. 此外,我们介绍了新的工作流程…现在的系统. 与大多数商业广告相比系统It问答系统提供几个进一步…
  • 伊普尔

  • 2篇参考文献[SW2583]
  • 与他人有用类型时间强度矩阵。HPLC-DAD系统产生时间强度(吸光度)洗脱峰的条件、谱图纯净的分析物是一个时间的双线性乘积…
  • 西装

  • 1篇参考文献[SW21385 ]
  • C/C++写的自动包装生成器纯净的Python目前,XWRADE可能会生成Python绑定。类、函数和某些变量类型. 它还包含C++标准库的惯用包装器。XWRADE的特性是动态的类型 系统那是为了目的而设计的…
  • VC

  • 4篇参考文献[ SW21533 ]
  • 当开发者写下一个纯粹地C++中的标量实现。因此,C++编译器不能…库提供了缺失的链接。它的类型启用显式声明多个数据并行操作…因此,并行性通过类型 系统. 竞争的方法陈述了平行性…
  • RGP

  • 1篇参考文献[ SW10933 ]
  • 内建纯净的除了一般的GP任务之外,系统支持符号回归…表示为R表达式,A(可选)类型 系统启用包含函数的特定于域的函数集…
  • 弗诺德

  • 0篇参考文献[SW055 55 ]
  • FNORD是一个数学可视化系统. 它提供了一个纯粹地功能,面向收藏的语言与…符号微分与优化。你可以类型在一个参数方程中,看到结果…
  • CCTBX

  • 2篇参考文献[SW1598]
  • 凤凰的开源组件系统. PHENIX项目的目标…强烈地类型化的具有动态方便性和灵活性的编译语言类型化的脚本语言…可选的。CCTBX也可以使用。纯粹地作为C++类库…
  • JSBML

  • 2篇参考文献[SW1381]
  • 与SBML一起工作。基于XML的系统生物标记语言(SBML)是事实上的…很难。此外,LIbsbML API和类型层次结构不够直观,从Java…开发开源软件纯净的用于SbML的Java库。在这里,我们提出…
  • 米格拉尔

  • 2篇参考文献[SW08318]
  • 期望提高我们对生物的理解系统. 不同于序列比对,网络对齐是计算的…GRAL),它可以集成任何数字和类型网络节点之间的相似性度量…系统发育正是从纯粹地PPI网络的拓扑比对