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

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319479576, 9783319479583
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code

2016 ◽  
pp. 42-62
Author(s):  
Jiaqi Tan ◽  
Hui Jun Tay ◽  
Rajeev Gandhi ◽  
Priya Narasimhan
Keyword(s):  
Machine Code ◽  
Safety Property

DOM: Specification and Client Reasoning

2016 ◽  
pp. 401-422 ◽  
Author(s):  
Azalea Raad ◽  
José Fragoso Santos ◽  
Philippa Gardner

scholarly journals Implementing Cantor’s Paradise

2016 ◽  
pp. 229-250 ◽  
Author(s):  
Furio Honsell ◽  
Marina Lenisa ◽  
Luigi Liquori ◽  
Ivan Scagnetto

Refined Environment Classifiers

2016 ◽  
pp. 271-291 ◽  
Author(s):  
Oleg Kiselyov ◽  
Yukiyoshi Kameyama ◽  
Yuto Sudo
Load More ...
Sign in / Sign up

Export Citation Format

Share Document