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 Bounded Linear Types in a Resource Semiring

2014 ◽  
pp. 331-350 ◽  
Author(s):  
Dan R. Ghica ◽  
Alex I. Smith
Keyword(s):  
Bounded Linear ◽  
Linear Types

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 Composable Transactional Objects: A Position Paper

2014 ◽  
pp. 1-7 ◽  
Author(s):  
Maurice Herlihy ◽  
Eric Koskinen
Keyword(s):  
Position Paper

scholarly journals The Duality of Construction

2014 ◽  
pp. 249-269 ◽  
Author(s):  
Paul Downen ◽  
Zena M. Ariola

scholarly journals Impredicative Concurrent Abstract Predicates

2014 ◽  
pp. 149-168 ◽  
Author(s):  
Kasper Svendsen ◽  
Lars Birkedal

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

scholarly journals Local Reasoning for the POSIX File System

2014 ◽  
pp. 169-188 ◽  
Author(s):  
Philippa Gardner ◽  
Gian Ntzik ◽  
Adam Wright
Keyword(s):  
File System ◽  
Local Reasoning

Gradual Typing for Annotated Type Systems

2014 ◽  
pp. 47-66 ◽  
Author(s):  
Peter Thiemann ◽  
Luminous Fennell
Keyword(s):  
Type Systems ◽  
Gradual Typing
Load More ...
Sign in / Sign up

Export Citation Format

Share Document