ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages  - POPL

领  域:  编程语言

论文统计图
相关事件


最新的论文更多>>
Proofs that count  
Azadeh Farzanand , Zachary Kincaid , Andreas Podelski
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages  2014
0次引用 0 0
Minimization of symbolic automata  
Loris DAntoni , Margus Veanes
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages  2014
0次引用 0 0
Battery transition systems  
Udi Boker , Thomas A. Henzinger , Arjun Radhakrishna
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages  2014
0次引用 0 0
Freeze after writing: quasi-deterministic parallel programming with LVars  
Lindsey Kuper , Aaron Joseph Turon , Neel Krishnaswami , Ryan R. Newton
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages  2014
0次引用 0 0
Modular reasoning about concurrent higher-order imperative programs  
Lars Birkedal
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages  2014
0次引用 0 0
 录用率: 参会人数: 影响力:
投稿方向:
会议点评
还没有人点评哦
主要作者
Robert Harper
Carnegie Mellon University
 
John C. Mitchell
Stanford University
 
Benjamin Pierce
University of Pennsylvania
 
Amir Pnueli
Weizmann Institute of Science
 
Paul Hudak
Yale University
 
主要概念
Feedback
Feedback
Feedback
我想反馈:
排行榜