• 快速检查

  • 86篇参考文献[SW0727 7]
  • 测试性能程序. 属性被描述为Haskell。功能并且可以自动测试…随机测试特别适用于功能性 程序因为属性可以表述…
  • 巴别塔

  • 71篇参考文献[SW03018]
  • 逻辑编程功能谓语:语言巴别塔。我们对实验进行了研究。编程语言巴贝尔,旨在实现一体化功能性 编程(如希望、标准所体现的…米兰达)与逻辑学编程(如Prolog中所体现的)简单,灵活,数学上好…将纯Prolog与一阶结合功能性表示法。另一方面,语言…
  • 谎言

  • 145篇参考文献[ SW01075 ]
  • 编程语言使得可以用更多的数学来定制和扩展包。功能由于涉及基本编程原语和强大的内置功能. 这些命令被读取…这个核心包括程序表示100的数学功能. 解释器提供在线…
  • Algl 60

  • 447篇参考文献[SW21807]
  • ALGOL计算机家族成员编程语言接着是从阿尔戈…嵌套的功能词汇范围的定义。它引起了许多其他。编程语言,包括…
  • 协和式飞机

  • 299篇参考文献[SW0770]
  • 代码是在ANSI C中编写的编程语言,可供学术界参考。协和可调用库包括超过700个功能允许用户创建专门的代码…像问题。协和式飞机功能线程安全吗?编程在共享内存并行环境中…
  • Z3

  • 465篇参考文献[SW0488]
  • 未解释的数组功能和量词。Z3与多个程序分析、测试…
  • APL

  • 72篇参考文献[SW01165]
  • 书A编程语言)〔2〕是编程肯尼斯在20世纪60年代发展起来的语言…特别图形符号[ 3 ]代表最多功能和运营商,导致非常简洁的代码…概念建模的发展,电子表格,功能性 编程,(4)和计算机数学软件包…
  • 米普利布

  • 287篇参考文献[SW04067 ]
  • 线性的)程序(MIP)是一个线性目标的优化问题。功能最小化…整数值变量关于混合整数的细节编程见,例如,〔69106〕。MIPLIB…
  • 朱丽亚

  • 190篇参考文献[SW13986]
  • 扩展现代编程语言技巧。一种基于泛型的设计功能一个丰富的类型…
  • 斯诺普

  • 487篇参考文献[ SW023 00 ]
  • 大规模约束优化序列二次编程(SQP)方法已被证明是非常有效的解决…具有光滑非线性的约束优化问题功能在客观和约束方面。在这里,我们考虑…
  • 斯卡拉布

  • 163篇参考文献[SW0834 ]
  • 包括数以百计的数学功能. 它有很高的水平编程允许访问的语言…
  • UTA加

  • 137篇参考文献[SW16225]
  • 行动它构造了一个实用程序。功能从用户定义的预定义…小线性程序. 这个程序提供分段线性功能边际效用,即…
  • 班德拉

  • 134篇参考文献[SW07663]
  • 简单并发Java程序举例说明功能Bandera的主要组成部分…
  • 可可

  • 595篇参考文献[SW0143]
  • 零维格式,庞加莱级数和希尔伯特功能多项式的因式分解,Tric理想。能力…通过专用高级别进一步提升编程语言为方便起见,该系统提供…
  • SDPT3

  • 585篇参考文献[SW0400 9]
  • 这个软件是为了解决二次曲线问题而设计的。编程约束锥是一个积的问题…正形和欧氏空间及其目标功能是线性之和功能
  • 亚尔米普

  • 832篇参考文献[SW0495]
  • 混合整数编程多参数编程几何编程Yalmip的主要特点是:容易…定义你的约束和目标功能使用直观和标准的MATLAB代码。自动分类…
  • ITSMR

  • 180篇参考文献[SW11210]
  • 子集功能在Windows中找到程序ITSM。想要的观众…
  • MPFR

  • 189篇参考文献[ SW033 12]
  • MPFR程序. 如果你写了一个新的功能对于MPFR或改进…
  • CDD

  • 106篇参考文献[SW0114]
  • 程序CDD+(CDD)分别是双描述方法的C++(ANSI C)实现。除了这些基本功能CDD/CDD+可以解决一般线性问题编程(LP)问题最大化…
  • 雷法尔

  • 42篇参考文献[SW27 634 ]
  • ReFaAl是功能性 编程通过模式匹配驱动计算的语言…