• 埃兰

  • 105篇参考文献[SW02179]
  • 埃兰系统提供了一个环境,用于指定和原型演绎系统在一个基于语言的…模块化框架研究它们的组合。埃兰从功能编程的概念抽象…同一任期内的职位埃兰一个计算可能有几个结果。这些页面的目的是总结埃兰特色,图书馆和环境,提供…
  • 卡里布

  • 14篇参考文献[SW10064 ]
  • Maude,咖啡馆OBJ,或埃兰. 与大多数现有工具相比,这证明…评价过程中的中心埃兰本地策略的运营商,提供在OBJ…
  • 埃兰

  • 2篇参考文献[SW21160]
  • 埃兰一个用于MEG、EEG和LFP信号分析和可视化的软件包…录音。在这里,我们描述了自由可用埃兰软件包提供了广泛的范围…局部场电位(LFPS)。这个埃兰工具箱是基于25年的方法学发展…概念与功能概述埃兰强调了它的特殊性,并描述了它的互补性。
  • 萨普姆

  • 2篇参考文献[SW28 617]
  • 萨普坦:验证埃兰硬件规范使用证明助手PVS。重写和重写逻辑…中创建的重写规范的验证埃兰,通过翻译证明助手…
  • CASL

  • 167篇参考文献[SW02265]
  • 由COFI开发的规范语言称为…
  • 克莱尔

  • 33篇参考文献[SW02583]
  • 克莱尔:把集合、搜索和规则结合起来,更好地…
  • 莫德

  • 645篇参考文献[SW06263]
  • Maude是一种高性能的反射语言和…
  • 65篇参考文献[ SW08333 ]
  • 汞是一种逻辑/功能的编程语言,它结合了…
  • YACC

  • 66篇参考文献[SW26931]
  • Yacc(又一个编译器编译器)是一台计算机……