• 毫升

  • 490篇参考文献[SW01218]
  • 研究是少数语言使用……完全指定和验证。适合和常用于操作在其他形式上语言,例如在编译器编写中…
  • 抱怨

  • 341篇参考文献[SW0610]
  • 多程序设计语言对于许多平台和操作系统对于更具体的产品…
  • Python

  • 987篇参考文献[SW14460]
  • 语言比如C++或Java。这个语言提供旨在启用清晰程序的结构…解释器可用于许多安装操作允许Python代码执行的系统…
  • 姆帕德

  • 137篇参考文献[SW0606]
  • 强大的符号引擎语言这是优化的操作符号数学表达式…接口提供对完整的MPUAD的访问语言. 计算机代数系统…
  • 里沙/阿西尔格尔

  • 101篇参考文献[SW0806]
  • 执行基本代数运营,比如算术运营对于代数对象,例如数字和多项式…代数引擎主要以C语言编写语言部分在汇编程序中…为基础运营阿西尔格尔的一部分,一个标准语言RISA接口内存
  • Perl

  • 251篇参考文献[SW01225]
  • 很难通过C语言编程语言或者其中一个炮弹。而这…主要用于UNIX的用户操作系统,Perl在其他几个方面运行操作
  • 克莱姆

  • 67篇参考文献[SW09424]
  • 从一个计算环境到另一个计算环境。这个语言由多个核心琳达组成。元组空间与一组算子用于建造过程。KLAIM自然支持编程…像其他数据一样操纵,但是语言提供协调机制来控制相互作用…正式操作的语义有助于讨论设计语言并提供指导方针…
  • 可可

  • 584篇参考文献[SW0143]
  • 能够做到简单和复杂运营关于多元多项式与各种数据相关…专用高级编程增强语言. 为了方便起见,该系统提供了文本…
  • 工具链

  • 23篇参考文献[SW09517]
  • 把你的程序翻译成机器语言操作系统和库为您提供上下文…握在机器里语言程序,运行在操作-系统上下文…
  • 埃兰

  • 101篇参考文献[SW02179]
  • 定理证明器的设计、逻辑程序设计语言,约束求解器和决策程序,并提供…选择运营和回溯能力。主要创意之一语言应用程序的设计器。策略语言提供用于顺序合成、迭代、确定性的基元…用户可以引入新的策略算子并通过重写规则来定义它们。评价。。。
  • QRM

  • 578篇参考文献[SW11358]
  • 包QRM:提供R语言检查定量风险管理概念的代码。这个包裹…图书:市场风险,信用风险,操作的风险、风险度量和聚合概念、风险管理技术…
  • 塞萨尔

  • 145篇参考文献[SW0810]
  • 描述是在高层次上完成的语言灵感来自CSP和规范…分支时间逻辑算子其中可以迭代计算为不动点…
  • 帕斯卡尔SC

  • 29篇参考文献[SW30417]
  • 要素语言是:算术运营具有控制舍入,最优标量乘积,函数…数据类型、程序重载、函数和算子分别为字符串、动态数组、模块。此外。。。书解释了新的细节语言PASCAL SC的元素,举例说明…
  • LISP STAT

  • 113篇参考文献[SW01111]
  • 基于LISP STAT的LISP语言,特别是在公共LISP的一个子集上…LISP STAT扩展标准LISP算法运营元素执行运营名单上…用户界面环境,如Macintosh操作系统,X窗口系统,微软…系统设计是由S语言
  • 轻量级Java

  • 86篇参考文献[SW16204]
  • 全部语言,同时保持舒适紧凑。最小语法、打字规则和操作的语义学…
  • 红宝石

  • 32篇参考文献[SW16267]
  • 动态的、面向对象的语言具有高产等特点操作人员动态类操作…建立可靠的脚本语言它应该有严格的语义。为了满足这个…挑战,我们提出正式的操作的可以用作高级规范的语义…
  • 爱茉莉

  • 12篇参考文献[SW20980]
  • 非确定性自动机的启发式最小化方法语言 运营(例如布尔和正则)运营,商,洗牌产品…
  • 阿加达

  • 167篇参考文献[SW0969]
  • AGDA是一种依赖类型的函数式程序设计语言它有类似的归纳家庭。类型它还具有参数化模块,MixFixFix.算子Unicode字符和交互式Emacs接口…
  • WHY3

  • 120篇参考文献[ SW044 38 ]
  • 演绎程序验证。它提供了丰富的语言对于规范和编程,称为WHYML…逻辑理论(整数与实算术,布尔)运营,设置和地图等)和基本编程…WhyML也可用作中间体。语言对于C、Java的验证…
  • 谎言

  • 143篇参考文献[ SW01075 ]
  • 杰出陪集代表和更多。这些运营已编译成程序…通用程序。Lie程序设计语言使得定制和扩展成为可能。解释器提供解释的在线设施运营和功能,并给出背景信息…