• 犰狳

  • 64篇参考文献[SW05863]
  • 基于模板的延迟评价方法-编程使用(在编译时)组合…
  • 闪电战+

  • 21篇参考文献[ SW000 082]
  • “模板技术”(表达式模板和模板)-程序除了快速性能,闪电+ +数组…
  • 假斧

  • 11篇参考文献[ SW16988 ]
  • 用于语法分析器生成的语言处理技术-编程并将IDE开发成一个单一的环境…
  • 沃索尔

  • 10篇参考文献[SW12518]
  • 通过模板在编译时编写代码-编程并支持任意尺寸和度量(有限…)
  • MGTP

  • 7篇参考文献[SW09701]
  • MGTP作为-编程系统的每个应用程序…
  • 塑料浆

  • 6篇参考文献[SW07080]
  • 通过编译实现规划到答案集编程(ASP)。我们的方法灵感来自于规划…有利于建模规划技术-编程在ASP。这有几个优点。第一
  • 梅塔克拉姆

  • 5篇参考文献[SW01810]
  • 多级SML的扩展编程和Klaim(Agent交互的核心语言……)移动性,允许交错-编程活动(例如代码的汇编和链接)
  • 特拉

  • 3篇参考文献[SW24000 ]
  • 代码生成在一个单独的过程中程序执行,使某些优化难以工程…高性能Terra代码。简化-编程Lua和特拉有相同的词汇量…
  • 格罗维

  • 2篇参考文献[SW26072]
  • 语法。它与任何Java集成顺利程序并立即向您的应用程序强大…语言编写、运行时和编译时间-编程功能性编程
  • 模板辅料

  • 2篇参考文献[SW27 569]
  • 走向认证-编程使用类型模板COQ。Template Coq(URL)HTTPS://TEMPOLTE-COQ.GITHUBIO/TEMOPLATE-COQ}…
  • JSLIQ

  • 1篇参考文献[SW27 567]
  • -编程提供统一的语言编程不同的成分。我们利用网络
  • 元磨机

  • 1篇参考文献[SW30243]
  • 时间执行。这种方法不同于-编程自主流语言以来可用的技术…
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT