• 蟒蛇

  • 引用1433篇文章[sw14460]
  • 水平,通用,解释,动态规划语言. 设计哲学强调代码的可读性。。。可能的代码语言例如C++或Java。这个语言提供。。。
  • R

  • 参考文献8565篇[sw00771]
  • 技术,并且是高度可扩展的。S语言通常是首选的交通工具。。。强项是指-设计可以制作出版质量图,包括。。。
  • 艾菲尔

  • 引用290篇文章[sw03522]
  • 标准化、面向对象编程语言 设计由Bertrand Meyer(一个面向对象的支持者和作者。。。建筑)和埃菲尔软件。这个设计语言埃菲尔与埃菲尔铁塔有着密切的联系。。。基于一系列原则,包括设计按合同,命令查询分离,统一。。。Java、C#和其他语言. 新的语言 设计想法,特别是通过Ecma/ISO标准化过程。。。
  • 自动机

  • 在403篇文章中引用[sw07127]
  • 自动机是语言 设计在六十年代末的布吕恩,为了。。。
  • 阿尔戈68

  • 引用291篇文章[sw01226]
  • ALGOL 60程序的后续程序语言,设计以更广泛的目标。。。它们又出现在后来开发的程序中语言...
  • COBOL公司

  • 在233篇文章中引用[sw01228]
  • 像计算机编程一样编译英语语言 设计用于商业用途。这是必要的,程序性的。。。迁移到新平台,用现代语言重写语言或者用软件包代替。[6]大多数。。。
  • 朱莉娅

  • 引用了271篇文章[sw13986]
  • 朱莉娅,一个新的动态语言对于技术计算,设计从一开始的表现。。。适应和扩展现代程序设计语言技术。A设计基于泛型函数。。。
  • 损益表

  • 在174篇文章中引用[sw25845]
  • 程序性、强制性的计算机程序设计语言 设计用于科学、工程、商业和系统编程。。。
  • 岩浆

  • 在2917篇文章中引用[sw00540]
  • Magma还支持许多数据库设计为了帮助这些领域的计算研究。。。帮助向新用户介绍Magma语言. 岩浆是由计算代数分布的。。。
  • 落叶松

  • 参考文献103篇[sw02126]
  • 写在两个字里语言:一个语言那就是设计对于特定的程序语言... 特殊程序设计语言. 落叶松界面语言曾经设计用于各种编程语言...
  • QRM公司

  • 引用650篇文章[sw11358]
  • 语言检验定量风险管理概念的代码。这个包裹是设计陪着。。。
  • 伊兰

  • 参考文献108篇[sw02179]
  • 支持设计定理证明者,逻辑程序设计语言,约束求解器和决策过程。。。支持设计定理证明者,逻辑程序设计语言,约束求解器和决策过程。。。可访问设计师应用程序的。战略语言提供顺序合成的原语。。。
  • 汉德尔-C

  • 引用44篇文章[sw11988]
  • 硬件设计什么是第一个高级编程语言是。。。CPU编程。不像其他很多设计 语言目标是一个特定的建筑汉德尔。。。编译为设计 语言然后合成到相应的硬件。这个。。。而不是设计 语言建筑。。。
  • 西斯库斯

  • 在106篇文章中引用[sw12440]
  • 是时候重游主干道了语言设计做决定,试着总结一些教训。。。
  • Isar

  • 在140篇文章中引用[sw04599]
  • 工作。Isar形式证明语言已经设计为了满足相当矛盾的要求。。。系统提供了Isar作为另一种证明语言界面层,超越传统的战术脚本。。。
  • 低成本

  • 在157篇文章中引用[sw08360]
  • 定理证明,但他也设计ML编程语言它的基础和创新。。。今天还在使用,而且设计硬件验证系统的。。。
  • 克莱姆

  • 引用71篇文章[sw09424]
  • 调查设计核心程序设计语言移动计算和描述KLAIM。。。像其他数据一样被操纵),但是语言提供协调机制来控制交互。。。有助于讨论设计语言并提供实施指南。克莱姆。。。
  • ACSL公司

  • 引用47篇文章[sw04216]
  • ACSL(发音为“车轴”),是一种计算机语言 设计为了模拟和评估性能。。。连续系统仿真语言(CSSL),最初设计模拟委员会。。。
  • ACRITH-XSC公司

  • 引用49篇文章[sw00015]
  • 类Fortran程序设计语言 设计用于开发自验证数值算法。这样的算法。。。FORTRAN 77的扩展。各种各样的语言概念是可用的在一个。。。ACRITH-XSC的其他特性设计用于数值目的:数值常量和数据。。。获得高精度的算法。\parThe main语言ACRITH的特点和数值工具。。。