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

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540893295, 9783540893301
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Minimal Ownership for Active Objects

2008 ◽  
pp. 139-154 ◽  
Author(s):  
Dave Clarke ◽  
Tobias Wrigstad ◽  
Johan Östlund ◽  
Einar Broch Johnsen
Keyword(s):  
Active Objects

scholarly journals JavaScript Instrumentation in Practice

2008 ◽  
pp. 326-341 ◽  
Author(s):  
Haruka Kikuchi ◽  
Dachuan Yu ◽  
Ajay Chander ◽  
Hiroshi Inamura ◽  
Igor Serikov

scholarly journals Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution

2008 ◽  
pp. 36-52 ◽  
Author(s):  
Xin Li ◽  
Daryl Shannon ◽  
Indradeep Ghosh ◽  
Mizuhito Ogawa ◽  
Sreeranga P. Rajan ◽  
...  
Keyword(s):  
Symbolic Execution ◽  
Context Sensitive

Static Detection of Place Locality and Elimination of Runtime Checks

2008 ◽  
pp. 53-74 ◽  
Author(s):  
Shivali Agarwal ◽  
RajKishore Barik ◽  
V. Krishna Nandivada ◽  
Rudrapatna K. Shyamasundar ◽  
Pradeep Varma
Keyword(s):  
Static Detection

Exception Handlers as Extensible Cases

2008 ◽  
pp. 273-289 ◽  
Author(s):  
Matthias Blume ◽  
Umut A. Acar ◽  
Wonseok Chae
Load More ...
Sign in / Sign up

Export Citation Format

Share Document