文件名称：POPL 2010-Annual Symposium on Principles of Programming Languages 2010论文集（proceedings of POPL 2010）
文件大小：19.96MB
文件格式：RAR
更新时间：2014-03-27 13:52:01
论文集 SIGPLAN ACM POPL programming
（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。） 国际软件工程和编程语言界的*会议，POPL 2010年的会议论文集。POPL通常被认为是软件方面最*的国际会议之一，对程序语言、软件工程、可信软件等方面的研究者具有很重要的参考意义。
【文件预览】：
POPL 2010
----Reasoning about programs()
--------A relational modal logic for higher-order stateful ADTs.pdf(585KB)
--------A theory of indirection via approximation.pdf(541KB)
--------Nominal system T.pdf(468KB)
----Compilers()
--------Generating compiler optimizations from proofs.pdf(562KB)
--------Semantics and algorithms for data-dependent grammars.pdf(599KB)
--------Automatically generating instruction selectors using declarative machine descriptions.pdf(533KB)
----Static analysis II()
--------Decision procedures for algebraic data types with abstractions.pdf(594KB)
--------Static determination of quantitative resource usage for higher-order programs.pdf(663KB)
--------Automatic numeric abstractions for heap-manipulating programs.pdf(553KB)
----Concurrency()
--------On the verification problem for weak memory models.pdf(779KB)
--------Sequential verification of serializability.pdf(461KB)
--------Coarse-grained transactions.pdf(433KB)
----Medley()
--------Nested interpolants.pdf(532KB)
--------Higher-order multi-parameter tree transducers and recursion schemes for program verification.pdf(478KB)
--------Monads in action.pdf(478KB)
----Types()
--------Modular session types for distributed object-oriented programming.pdf(533KB)
--------Dependent types and program equivalence.pdf(438KB)
--------Pure subtype systems.pdf(457KB)
----Verification()
--------Toward a verified relational database management system.pdf(470KB)
--------Counterexample-guided focus.pdf(511KB)
--------Structuring the verification of heap-manipulating programs.pdf(481KB)
----Static analysis I()
--------Continuity analysis of programs.pdf(578KB)
--------Program analysis via satisfiability modulo path programs.pdf(525KB)
--------Compositional may-must program analysis _ unleashing the power of alternation.pdf(569KB)
----Program synthesis()
--------From program verification to program synthesis.pdf(534KB)
--------Programming with angelic nondeterminism.pdf(581KB)
--------Abstraction-guided synthesis of synchronization.pdf(521KB)
----Relating and integrating static and dynamic checks()
--------Threesomes, with and without blame.pdf(504KB)
--------Integrating typed and untyped code in a scripting language.pdf(889KB)
--------Contracts made manifest.pdf(490KB)
----Verified compilers()
--------Verified just-in-time compiler on x86.pdf(474KB)
--------A verified compiler for an impure functional language.pdf(463KB)
--------A simple, verified validator for software pipelining.pdf(663KB)
----Type inference()
--------Type inference for datalog with complex type hierarchies.pdf(489KB)
--------Dependent types from counterexamples.pdf(454KB)
--------Low-level liquid types.pdf(543KB)
----From Boolean to quantitative notions of correctness.pdf(285KB)
----Reconfigurable asynchronous logic automata _ (RALA).pdf(920KB)
----Security and ownership()
--------Dynamically checking ownership policies in concurrent c c++ programs.pdf(524KB)
--------Paralocks _ role-based information flow control and beyond.pdf(510KB)
--------Modular verification of security protocol code by typing.pdf(693KB)