Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016
Latest Publications

TOTAL DOCUMENTS

62
(FIVE YEARS 0)

H-INDEX

20
(FIVE YEARS 0)

Published By ACM Press

9781450335492
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lightweight verification of separate compilation

2016 ◽  
Author(s):  
Jeehoon Kang ◽  
Yoonseung Kim ◽  
Chung-Kil Hur ◽  
Derek Dreyer ◽  
Viktor Vafeiadis
Keyword(s):  
Separate Compilation

Decidability of inferring inductive invariants

2016 ◽  
Author(s):  
Oded Padon ◽  
Neil Immerman ◽  
Sharon Shoham ◽  
Aleksandr Karbyshev ◽  
Mooly Sagiv
Keyword(s):  
Inductive Invariants

scholarly journals Modelling the ARMv8 architecture, operationally: concurrency and ISA

2016 ◽  
Author(s):  
Shaked Flur ◽  
Kathryn E. Gray ◽  
Christopher Pulte ◽  
Susmit Sarkar ◽  
Ali Sezgin ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document