• 图形C

  • 引用2篇文章【sw19205年】
  • 通过使用主要借用自超编译. 通过归纳法证明。。。基于此方法的验证程序超级编译器HOSC和感应校准器HipSpec和Zeno。。。
  • WSDFU

  • 引用9篇文章[sw02362]
  • 基于广义部分的程序转换系统。。。
  • 伊甸园

  • 引用了29篇文章[sw22186]
  • 实现伊甸园-或:梦想变成现实。平行线。。。
  • 重构

  • 引用42篇文章[sw27634]
  • Refal是一种函数式编程语言,其中。。。