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

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

15
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642119569, 9783642119576
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Fluid Updates: Beyond Strong vs. Weak Updates

2010 ◽  
pp. 246-266 ◽  
Author(s):  
Isil Dillig ◽  
Thomas Dillig ◽  
Alex Aiken

scholarly journals A Universal Calculus for Stream Processing Languages

2010 ◽  
pp. 507-528 ◽  
Author(s):  
Robert Soulé ◽  
Martin Hirzel ◽  
Robert Grimm ◽  
Buğra Gedik ◽  
Henrique Andrade ◽  
...  
Keyword(s):  
Stream Processing

scholarly journals Deadlock-Free Channels and Locks

2010 ◽  
pp. 407-426 ◽  
Author(s):  
K. Rustan M. Leino ◽  
Peter Müller ◽  
Jan Smans

scholarly journals Automating Security Mediation Placement

2010 ◽  
pp. 327-344 ◽  
Author(s):  
Dave King ◽  
Susmit Jha ◽  
Divya Muthukumaran ◽  
Trent Jaeger ◽  
Somesh Jha ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document