下载地址:
下载地址1资源简介:
(我现在主要在CSDN上整理计算机安全、软件工程(可信软件)、系统及通信方面的论文及相关理论书籍,如果对这方面内容感兴趣,可以访问:http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多,需要大家人工手动查找。另外,资料顺序并不按照时间排列,只是想起来了就上传。请大家见谅。)国际软件工程和编程语言界的顶级会议,POPL 2013年的会议论文集。POPL通常被认为是软件方面最顶级的国际会议之一,对程序语言、软件工程、可信软件等方面的研究者具有很重要的参考意义。在citeseer 07年的计算机科学会议排名中,POPL名列第一。2013年POPL在意大利罗马召开,共收录包括Keynote address在内的15个session,共计47篇文章。
飞网下载站,免费下载共享资料,内容涉及教育资源、专业资料、IT资源、娱乐生活、经济管理、办公文书、游戏资料等。
相关资源:
Working Draft ,Standard for Programming Language C++.pdf
FSE 2012-International Symposium on the Foundations of Software Engineering 2012.zip
ICSE 2012-International Conference on Software Engineering 2012.zip
PLDI 2012-ACM SIGPLAN conference on PLDI 2012.zip
POPL 2012-Annual Symposium on Principles of Programming Languages 2012.rar
IMC 2011-Annual conference on Internet measurement 2011.rar
IMC 2010-Annual conference on Internet measurement.rar
ISSTA 2011-International Symposium on Software Testing and Analysis.rar