戴维·施密特(David A.Schmidt)。 过近似和欠近似静态分析的逻辑关系演算。 (英语) Zbl 1171.68543号 科学。计算。程序。 64,第1号,29-53(2007).MSC公司:68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Schmidt},科学。计算。程序。64,编号1,29-53(2007年;兹bl 1171.68543) 全文: 内政部
拉迪亚·库索特(编辑);施密特,大卫(编辑) SAS’96特别版。第三届国际静态分析研讨会论文集,德国亚琛,1996年9月24-26日。 (英语) Zbl 0936.00043号 科学。计算。程序。 35,编号2-3,77-256(1999).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{R.Cousot}(编辑)和textit{D.Schmidt}(主编),科学。计算。程序。35,编号2--3,77-256(1999;Zbl 0936.00043) 全文: 内政部
安妮迪亚·班纳吉;戴维·施密特(David A.Schmidt)。 简单类型的按值调用lambda演算中的可堆叠性。 (英语) Zbl 0939.03017号 科学。计算。程序。 31,第1号,47-73(1998).MSC公司:03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Banerjee}和\textit{D.A.Schmidt},科学。计算。程序。31,第1号,47--73(1998;Zbl 0939.03017) 全文: 内政部
戴维·施密特(David A.Schmidt)。 检测指称定义中基于堆栈的环境。 (英语) Zbl 0659.68014号 科学。计算。程序。 11,第2期,107-131(1988).MSC公司:68号01 第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Schmidt},科学。计算。程序。11,No.2,107--131(1988;Zbl 0659.68014) 全文: 内政部