Programming Languages and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319712369, 9783319712376
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Programming and Proving with Classical Types

2017 ◽  
pp. 215-234
Author(s):  
Cristina Matache ◽  
Victor B. F. Gomes ◽  
Dominic P. Mulligan

Bringing Order to the Separation Logic Jungle

2017 ◽  
pp. 190-211 ◽  
Author(s):  
Qinxiang Cao ◽  
Santiago Cuellar ◽  
Andrew W. Appel
Keyword(s):  
Separation Logic

scholarly journals Sharper and Simpler Nonlinear Interpolants for Program Verification

2017 ◽  
pp. 491-513 ◽  
Author(s):  
Takamasa Okudono ◽  
Yuki Nishida ◽  
Kensuke Kojima ◽  
Kohei Suenaga ◽  
Kengo Kido ◽  
...  
Keyword(s):  
Program Verification

Safety and Liveness of MCS Lock—Layer by Layer

2017 ◽  
pp. 273-297 ◽  
Author(s):  
Jieung Kim ◽  
Vilhelm Sjöberg ◽  
Ronghui Gu ◽  
Zhong Shao
Keyword(s):  
Layer By Layer
Load More ...
Sign in / Sign up

Export Citation Format

Share Document