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

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642253171, 9783642253188
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Cost Analysis of Concurrent OO Programs

2011 ◽  
pp. 238-254 ◽  
Author(s):  
Elvira Albert ◽  
Puri Arenas ◽  
Samir Genaim ◽  
Miguel Gómez-Zamalloa ◽  
German Puebla
Keyword(s):  
Cost Analysis

Decentralized Delimited Release

2011 ◽  
pp. 220-237 ◽  
Author(s):  
Jonas Magazinius ◽  
Aslan Askarov ◽  
Andrei Sabelfeld

Solving Recursion-Free Horn Clauses over LI+UIF

2011 ◽  
pp. 188-203 ◽  
Author(s):  
Ashutosh Gupta ◽  
Corneliu Popeea ◽  
Andrey Rybalchenko
Keyword(s):  
Horn Clauses

scholarly journals A Semantics for Context-Sensitive Reduction Semantics

2011 ◽  
pp. 369-383
Author(s):  
Casey Klein ◽  
Jay McCarthy ◽  
Steven Jaconette ◽  
Robert Bruce Findler
Keyword(s):  
Context Sensitive
Load More ...
Sign in / Sign up

Export Citation Format

Share Document