• 口齿不清

  • 参考文献125篇[sw07201]
  • 处理”。链表是Lisp的一种语言的主要数据结构和Lisp源。。。创建新的语法甚至新的-具体的 语言嵌入Lisp中。互换性。。。
  • 不明飞行物

  • 引用47篇文章[sw11183]
  • 统一形式语言:一个-具体的 语言对于偏微分方程的弱公式。。。形式语言(UFL),这是一个-具体的 语言代表部分。。。
  • CVXPY公司

  • 引用32篇文章[sw13968]
  • 凸优化。CVXPY是一个-具体的 语言对于嵌入在Python中的凸优化。。。
  • 利基

  • 引用13篇文章[sw26288]
  • LIQUi |>:一个软件设计架构和-具体的 语言量子计算。语言文字,编译器。。。量子体系结构。LIQUi |>包含一个嵌入式,-具体的 语言为编程量子算法而设计的。。。
  • PyOP2型

  • 引用13篇文章[sw14924]
  • 网格。PyOP2是一个-具体的 语言(DSL)对于计算内核的并行执行。。。
  • Xtext公司

  • 在10篇文章中引用[sw16255]
  • 程序设计的发展语言-具体的 语言. 使用Xtext,您可以定义语言使用。。。
  • 茂物

  • 引用36篇[sw06858号]
  • 开发的系统表明-具体的模型检查引擎可能更有效。。。自定义其建模语言以及创建-具体的模型检查引擎。。。
  • 恶搞

  • 参考11篇文章[sw16988号]
  • 陈述性规则规范属于语言还有IDEs。Spoofax是一个语言工作台。。。高效、敏捷地开发文本-具体的 语言拥有最先进的IDE支持。。。
  • 诽谤

  • 参考12篇文章[sw19384]
  • 这样的装置。软件分析-具体的 语言对于模型规范,然后优化,生成。。。
  • 多语种

  • 在10篇文章中引用[sw08834]
  • Polyglot框架对于-具体的 语言,探索语言设计,为了简化。。。
  • clpfd公司

  • 引用8篇文章[sw06308]
  • 整数,总是终止传播,以及-具体的 语言简洁地表达了完整的语义。。。
  • 休谟

  • 参考第5条[sw22188]
  • 休谟:a-具体的 语言用于实时嵌入式系统。本文描述了休谟。。。小说-具体的 语言其目的是探索资源受限条件下的表达/成本谱。。。异常处理、自动内存管理和-具体的元编程功能,同时寻求保证强大。。。
  • 项目Q

  • 参考7篇文章[sw21653]
  • 估计。我们介绍我们的Python嵌入式-具体的 语言,介绍功能,并提供示例。。。
  • 亚姆巴

  • 在10篇文章中引用[sw13681]
  • Yampa是一个-具体的嵌入的语言对于混合(离散和连续。。。
  • 参考第5条[sw30121]
  • 衬垫:a-具体的 语言用于处理特殊数据。PADS是一个声明性数据。。。
  • 火花

  • 引用3篇文章[sw24316]
  • SPARK,一个用于实现-具体的 语言. SPARK是一个用于实现...
  • 路径

  • 引用4篇文章[sw21581]
  • 呈现两个语言:(1)FPath,一个-具体的 语言这提供了一个简洁而有力的。。。
  • FScript

  • 引用4篇文章[sw21582]
  • 呈现两个语言:(1)FPath,一个-具体的 语言但它提供了一个强大的。。。
  • 流氓

  • 引用4篇文章[sw05380]
  • 语言专注于-具体的 语言在快速施工中。。。