基纳

GENA-一个从规范生成Prolog分析器的工具。

zbMATH参考文献（参考 4篇文章 参考）

显示第1到第4个结果，共4个。
按年份排序(引用)

  1. Hofmann，Martin；Karbyshev，Aleksandr；Seidl，Helmut:在Coq中验证局部通用解算器（2010）
  2. Méndez Lojo，Mario；Navas，Jorge；Hermenegildo，Manuel V.：一种灵活的（C）基于LP的面向对象程序分析方法（2008）
  3. Seidl，Helmut；Vene，Varmo；Müller Olm，Markus:用于分析多线程应用程序的全局不变量（2003）
  4. Fecht，Christian；Seidl，Helmut:传播差异：分布约束系统的有效新不动点算法（1998）