Sigplan Notices  - SIGPLAN

领  域:  编程语言
主  页:  http://portal.acm.org/browse_dl.cfm?idx=J706

论文统计图
最新的论文更多>>
Sound input filter generation for integer overflow errors  
Fan Long , Stelios Sidiroglou-Douskos , Deokhwan Kim , Martin Rinard
Sigplan Notices  2014
0次引用 0 0
Minimization of symbolic automata  
Loris DAntoni , Margus Veanes
Sigplan Notices  2014
0次引用 0 0
Probabilistic relational verification for cryptographic implementations  
Gilles Barthe , Cédric Fournet , Benjamin Grégoire , Pierre-Yves Strub , Nikhil Swamy , Santiago Zanella-Béguelin
Sigplan Notices  2014
0次引用 0 0
Verifying eventual consistency of optimistic replication systems  
Ahmed Bouajjani , Constantin Enea , Jad Hamza
Sigplan Notices  2014
1次引用 0 0
A verified information-flow architecture  
Arthur Azevedo de Amorim , Nathan Collins , Andre Dehon , Delphine Demange , Catalin Hritcu , David Pichardie , Benjamin C. Pierce , Randy Pollack , Andrew Tolmach
Sigplan Notices  2014
0次引用 0 0
 录用率: 审稿周期: 个月 影响力:
投稿方向:
期刊点评
还没有人点评哦
主要作者
Simon Peyton-Jones
Microsoft
 
Paul Frenger
A Working Hypothesis, Inc. P.O. Box 820506 Houston, TX 77282-0506
 
Kathryn McKinley
University of Texas Austin
 
Ken Kennedy
Rice University
 
Martin C. Rinard
Massachusetts Institute of Technology
 
主要概念
Feedback
Feedback
Feedback
我想反馈:
排行榜