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

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642351815, 9783642351822
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis

2012 ◽  
pp. 256-263 ◽  
Author(s):  
Lukáš Marek ◽  
Yudi Zheng ◽  
Danilo Ansaloni ◽  
Aibek Sarimbekov ◽  
Walter Binder ◽  
...  
Keyword(s):  
Program Analysis ◽  
Dynamic Program ◽  
Java Bytecode ◽  
Dynamic Program Analysis ◽  
Bytecode Instrumentation

Succour to the Confused Deputy

2012 ◽  
pp. 66-81
Author(s):  
Radha Jagadeesan ◽  
Corin Pitcher ◽  
James Riely

scholarly journals A Functional View of Imperative Information Flow

2012 ◽  
pp. 34-49 ◽  
Author(s):  
Thomas H. Austin ◽  
Cormac Flanagan ◽  
Martín Abadi
Keyword(s):  
Information Flow

JATO: Native Code Atomicity for Java

2012 ◽  
pp. 2-17 ◽  
Author(s):  
Siliang Li ◽  
Yu David Liu ◽  
Gang Tan
Keyword(s):  
Native Code
Load More ...
Sign in / Sign up

Export Citation Format

Share Document