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

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642548321, 9783642548338
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Grounding Synchronous Deterministic Concurrency in Sequential Programming

2014 ◽  
pp. 229-248 ◽  
Author(s):  
Joaquín Aguado ◽  
Michael Mendler ◽  
Reinhard von Hanxleden ◽  
Insa Fuhrmann
Keyword(s):  
Sequential Programming

scholarly journals Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries

2014 ◽  
pp. 554-574 ◽  
Author(s):  
Aparna Kotha ◽  
Kapil Anand ◽  
Timothy Creech ◽  
Khaled ElWazeer ◽  
Matthew Smithson ◽  
...  
Keyword(s):  
Time Dependent ◽  
Run Time

scholarly journals Model and Proof Generation for Heap-Manipulating Programs

2014 ◽  
pp. 432-452 ◽  
Author(s):  
Martin Brain ◽  
Cristina David ◽  
Daniel Kroening ◽  
Peter Schrammel

scholarly journals Staged Composition Synthesis

2014 ◽  
pp. 67-86 ◽  
Author(s):  
Boris Düdder ◽  
Moritz Martens ◽  
Jakob Rehof
Load More ...
Sign in / Sign up

Export Citation Format

Share Document