• Lisp

  • 125篇参考文献[SW07201]
  • 处理“。链表是LISP之一语言的主要数据结构,和LISP源…创建新的语法,甚至新的-具体的 语言嵌入Lisp。互换性…
  • 超低频

  • 37篇参考文献[SW11183]
  • 统一形式语言A-具体的 语言对于偏微分方程的弱公式…形式语言(UFL),这是一个-具体的 语言用于表示弱的部分公式…
  • CVXPY

  • 30篇参考文献[SW13968 ]
  • 凸优化CVXPY是一个-具体的 语言针对Python中嵌入的凸优化问题…
  • 利奇

  • 13篇参考文献[SW2688]
  • LISIQ>:一种软件设计体系结构-特定的 语言用于量子计算。语言编译器…量子体系结构。利奇包含了一个嵌入的,-具体的 语言设计用于量子算法编程,用…
  • 美味的

  • 17篇参考文献[SW09865 ]
  • 在加密数据上执行-具体的 语言. 这是自动转换成…
  • XTEX

  • 10篇参考文献[SW16255]
  • 程序开发语言-具体的 语言. 用XTeX定义你的语言使用。。。
  • 茂物

  • 36篇参考文献[SW068 58]
  • 哪些系统被开发出来表明-具体的模型检查引擎可能更有效。定制其建模语言创建算法-具体的模型检查引擎…
  • 假斧

  • 11篇参考文献[ SW16988 ]
  • 声明规则规格属于语言和IDE。Spopax是一个语言工作台…高效、灵活的文本开发-具体的 语言凭借先进的IDE支持…
  • 利比

  • 12篇参考文献[SW1938 4]
  • 这样的设备。软件解析A-具体的 语言为模型规格然后优化,生成…
  • Pyop2

  • 11篇参考文献[SW14924]
  • 网点PYOP2是-具体的 语言(DSL)用于计算核的并行执行…
  • 多种语言

  • 10篇参考文献[ SW08334 ]
  • 多语种框架是有用的-具体的 语言探索语言设计和简化…
  • 休姆

  • 5篇参考文献[SW22188]
  • 休姆:A-特定的 语言用于实时嵌入式系统。本文描述了休姆…小说-具体的 语言其目的是探索资源受限的可表达性/协稳定性谱。异常处理、自动内存管理和-具体的元编程特征,同时寻求保证强大…
  • 项目报告

  • 7篇参考文献[SW21653]
  • 估计。我们介绍了我们的Python嵌入式-具体的 语言介绍其特点,并提供实例。
  • 扬帕

  • 10篇参考文献[SW1368 1]
  • 扬帕是-具体的嵌入的语言对于混合编程(离散和连续)…
  • 护具

  • 5篇参考文献[SW30121]
  • 垫子:A-具体的 语言用于处理Ad Hoc数据。PAD是一个声明性数据…
  • SPARK

  • 3篇参考文献[SW24316]
  • SCAP,一个实现的工具包-具体的 语言. SCAP是实现的工具包
  • FPATH

  • 4篇参考文献[SW21581]
  • 介绍两个语言(1)FPATH,A-具体的 语言这提供了一个简洁而有力的…
  • FScript

  • 4篇参考文献[SW21582]
  • 介绍两个语言(1)FPATH,A-具体的 语言这提供了一个简洁而有力的…
  • 流氓

  • 4篇参考文献[ SW05380]
  • 语言重点是实施-具体的 语言关于快速施工…