简·霍夫曼;邵，钟 并行程序的自动静态成本分析。 （英语） Zbl 1335.68056号 Vitek，Jan（编辑），《编程语言和系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，132-157（2015）。MSC公司：68号30 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit｛J.Hoffmann｝和\textit｛Z.Shao｝，Lect。注释计算。科学。9032、132--157（2015年；Zbl 1335.68056） 全文： 内政部
傅明;李勇;冯新余;邵，钟;张瑜 使用历史程序逻辑推理乐观并发。 （英语） Zbl 1287.03071号 Gastin，Paul（编辑）等人，CONCUR 2010–并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15374-7/pbk）。计算机科学课堂讲稿6269388-402（2010）。MSC公司：03B70号 68甲19 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Fu}等人，Lect。注释计算。科学。6269、388--402（2010年；Zbl 1287.03071） 全文： 内政部
罗德里戈·费雷拉;冯新宇;邵，钟 参数化内存模型和并发分离逻辑。 （英语） Zbl 1260.68093号 Gordon，Andrew D.（编辑），《编程语言与系统》。2010年3月20日至28日在塞浦路斯帕福斯举行的第19届欧洲编程研讨会（ESOP 2010），是欧洲软件理论与实践联合会议（ETAPS 2010）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11956-9/pbk）。计算机科学课堂讲稿6012，267-286（2010）。MSC公司：68号30 03B70号 第68页第15页 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.Ferreira}等人，Lect。注释计算。科学。6012、267--286（2010年；Zbl 1260.68093） 全文： 内政部
冯新余;邵，钟 具有动态线程创建和终止功能的并发程序集代码的模块化验证。 （英语） Zbl 1302.68088号 2005年9月26日至28日，爱沙尼亚塔林，ICFP'05，第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-064-7）。ACM SIGPLAN Notices 40，No.9，254-267（2005）。MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{X.Feng}和\textit{Z.Shao}，in：第十届ACM SIGPLAN函数编程国际会议论文集，ICFP'05，爱沙尼亚塔林，2005年9月26-28日。纽约州纽约市：计算机协会（ACM）。254--267（2005；Zbl 1302.68088） 全文： 内政部
于大川;邵，钟 验证并发装配代码的安全属性。 （英语） Zbl 1323.68235号 2004年9月19日至21日，美国犹他州雪鸟市乌普萨拉ICFP'04第九届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-905-5）。ACM SIGPLAN通知39，第9号，175-188（2004）。MSC公司：68号30 第68页第15页 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{D.Yu}和\textit{Z.Shao}，in：第九届ACM SIGPLAN函数编程国际会议论文集，ICFP'04，乌普萨拉，雪鸟，UT，美国，2004年9月19-21日。纽约州纽约市：计算机协会（ACM）。175-188（2004年；Zbl 1323.68235） 全文： 内政部
瓦列里·特里福诺夫;布拉丁·萨哈;邵，钟 完全反射强度类型分析。 （英语） Zbl 1321.68176号 2000年9月18日至21日，加拿大蒙特利尔，ICFP'00，第五届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-202-6）。ACM SIGPLAN通知35，第9号，82-93（2000）。MSC公司：68甲19 第68页第15页 68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Trifonov}等人，in：第五届ACM SIGPLAN函数编程国际会议论文集，ICFP'00，加拿大蒙特利尔，2000年9月18-21日。纽约州纽约市：计算机协会（ACM）。82-93（2000年；兹bl 1321.68176） 全文： 内政部
联盟，克里斯托弗;邵，钟;瓦列里·特里福诺夫 用类型化中间语言表示Java类。 （英语） Zbl 1345.68084号 1999年9月27日至29日在法国巴黎举行的第四届ACM SIGPLAN功能编程国际会议记录，ICFP'99。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-111-9）。ACM SIGPLAN通知34，第9号，183-196（1999）。MSC公司：68甲19 03B40型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.League}等人，《第四届ACM-SIGPLAN函数编程国际会议论文集》，ICFP'99，法国巴黎，1999年9月27-29日。纽约州纽约市：计算机协会（ACM）。183-196（1999年；Zbl 1345.68084） 全文： 内政部