• CIAOPP

  • 40篇参考文献[SW120 89]
  • 程序调试、分析和来源- -来源 转型任务(CIAO)Prolog程序。这些任务…程序几种来源来源程序变换如程序特化、切片、部分…
  • CIL

  • 34篇参考文献[SW26691]
  • 中间语言和分析工具转型C程序。本文描述了…易分析来源- -来源 转型C程序。相比。。。形似原始来源. 此外,它有一个前端翻译…最令人困惑的程序分析和转型. 我们还描述了一个整体的程序合并为基础…
  • 阿迪玛

  • 18篇参考文献[SW06267]
  • AdiAT是基于来源 转型方法。也就是说变换一个给定的MATLAB…
  • 班德拉

  • 134篇参考文献[SW07663]
  • 分析,转型和可视化组件,旨在促进模型检验Java的实验来源代码
  • TXL

  • 16篇参考文献[SW11319]
  • 来源 转型语言TXL是专为创建、操作……而设计的专用编程语言。
  • 塔夫

  • 77篇参考文献[SW0792]
  • 工具:TAF变换FORTRAN(TAF)中的算法是来源- -来源广告工具…
  • 阿迪格

  • 9篇参考文献[SW19688 ]
  • MATLAB中的数学函数来源 转型通过操作符重载。一个叫做Adigor的工具箱…MATLAB中的数学函数鳄鱼表演来源 转型通过操作员超载使用正向模式算法…算法的输入和输出是来源代码,该算法可以递归应用。
  • ADIC2

  • 6篇参考文献[SW09622]
  • ADIC2:一个组件的开发来源 转型C与C++的区别系统我们提出…通过代码来源- -来源 转型. ADIC2是Addio微分工具的继承者…
  • 海斯特

  • 5篇参考文献[SW20137 ]
  • HyST:A来源 变换混合自动机模型的翻译工具。一些强大的…纸,我们提出HyST,一个杂交种来源 变压器. 海斯特是一个来源- -来源翻译工具支持通用模型到模型转型通过这两种方法来简化翻译。支持工具。虽然这些模型转型传递可以在每个工具内实现,HYST…
  • OpenAD/F

  • 21篇参考文献[ SW09380]
  • OpenAD/F:模块化开放式来源FORTRAN代码的自动微分工具。打开/ ADF工具…FORTRAN代码的分析和结果转型定义的原始程序…开放来源组件当代码转型遵循自动微分的基本原理…
  • 线性代数库

  • 393篇参考文献[SW0830]
  • 正交正交广义分解的问题转型例程,减少到上Hessenberg,双对角线和三对角线…SCALAPACK用户指南的版本来源代码包,测试和计时…
  • 雅典

  • 6篇参考文献[SW0771]
  • CAPEML代码。该工具使用来源 转型扩充CAPEML代码的方法…
  • 鲸鱼

  • 4篇参考文献[SW09695]
  • 可扩展编译器基础结构来源- -来源 转型. 鲸鱼是编译基础设施…来源- -来源 转型程序。我们从需要中创造了鲸鱼…
  • 巡视者

  • 13篇参考文献[SW0963]
  • 代码克隆是代码部分来源相同或相似的文件…技术,包括转型输入的来源文本和令牌的令牌…
  • 乔伊特

  • 42篇参考文献[SW21266 ]
  • JUJYTER笔记本是开放式的来源Web应用程序,允许您创建和共享…说明性文本。用途包括:数据清洗和转型数值模拟、统计建模、机器学习…
  • 德洛格

  • 7篇参考文献[ SW09839 ]
  • 在独特名称假设下进行编程。转型对特定的知识一无所知。直接在现有信息之上来源. 这个转型过程包括两个步骤…
  • 西格玛*

  • 7篇参考文献[SW2173]
  • 过近似的程序行为,Sigma *变换任意的来源将程序表示成忠实的输入输出…
  • 切线

  • 4篇参考文献[SW22076]
  • 切线:自动微分使用来源代码变换在蟒蛇中。自动微分(AD)是必不可少的…使用广告的图书馆来源代码转型(SCT)在Python。它需要数字函数…
  • 冥王星

  • 4篇参考文献[SW09621]
  • 全自动多面体来源- -来源 转型可以优化常规程序的框架(序列)