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

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642005893, 9783642005909
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Verified, Executable Parsing

2009 ◽  
pp. 160-174 ◽  
Author(s):  
Aditi Barthwal ◽  
Michael Norrish

scholarly journals An Interval-Based Inference of Variant Parametric Types

2009 ◽  
pp. 112-127 ◽  
Author(s):  
Florin Craciun ◽  
Wei-Ngan Chin ◽  
Guanhua He ◽  
Shengchao Qin

scholarly journals Automatic Parallelization with Separation Logic

2009 ◽  
pp. 348-362 ◽  
Author(s):  
Mohammad Raza ◽  
Cristiano Calcagno ◽  
Philippa Gardner
Keyword(s):  
Automatic Parallelization ◽  
Separation Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document