zbMATH中的参考文献(参考文献43条,2标准条款)

显示第1到第20个结果,共43个。
按年份排序(引用)
  1. 瓦塞宁,弗吉尼亚州。;Krivchikov,M.A.:基于模式匹配的类型规范程序的中间表示(2020)
  2. Goshev,Vladimir Andreevich:Refal-5e机器中多线程的实现(2016)ioport公司
  3. 新罕布什尔州科索夫斯基。;科索夫斯卡亚,T.M。;Kosovskiĭ,N.N.:某些类型的线性丢番图dis方程组一致性检验的NP完备性条件(2016)
  4. Nepeivoda,Antonina:乒乓协议作为前缀语法:通过程序转换进行建模和验证(2016)
  5. 比约纳,尼古拉;格芬克尔,阿里;肯·麦克米兰;Rybalchenko,Andrey:项目验证的Horn条款求解器(2015)
  6. Grechanik,S.A.:用等式饱和证明函数程序的性质(2015)
  7. 克柳奇尼科夫,I.G。;Romanenko,S.A.:Martin Lof类型理论的超级编译(2015)
  8. 克柳奇尼科夫,I.G。;Romanenko,S.A.:作为元系统转换的更高级别超级编译(2012)
  9. 通用逆向驱动算法(CSPé2012)
  10. 艾伯特,艾薇拉;阿里纳斯,普里;杰纳姆,萨米尔;Puebla,Germanán:静态成本分析中的闭式上界(2011)
  11. 布贝尔,理查德;Hähnle,雷纳;Ji,Ran:交错符号执行和部分求值(2010)
  12. 利西莎,A.P。;Nemytykh,A.P.:关于oracle计算的一个应用(2010)
  13. 朱利安,帕斯卡;莫雷诺,杜松子酒;Penabad,Jaime:使用模糊部分评估技术的改进还原剂演算(2009)
  14. 莉西莎,阿列克谢;Nemytykh,Andrei P.:通过超级编译验证的可达性分析(2008)
  15. 克莱维尔,曼纽尔;梅斯盖尔,何塞;帕洛米诺,米格尔:成员资格等式逻辑的反思,许多分类的等式逻辑,具有等式的霍恩逻辑,重写逻辑(2007)
  16. 琼斯,尼尔D。;Andersen,Nils:lazy高阶函数程序的流分析(2007)
  17. 利西莎,A.P。;Nemytykh,A.P.:作为参数化测试的验证(用SCP4超级编译器进行的实验)(2007)
  18. Skopin,I.N.:多重数据结构(2006)
  19. 佩托罗斯,阿尔伯托;普罗耶蒂,毛里齐奥;雷诺,索菲:通过专业化和不确定性的简化推导有效逻辑程序(2005)
  20. 艾伯特,艾薇拉;维达尔,格曼:函数逻辑程序专业化的狭义驱动方法(2002)