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

Scalable Formal Machine Models

2012 ◽  
pp. 312-314
Author(s):  
Greg Morrisett

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

scholarly journals Decision Procedures over Sophisticated Fractional Permissions

2012 ◽  
pp. 368-385 ◽  
Author(s):  
Xuan Bach Le ◽  
Cristian Gherghina ◽  
Aquinas Hobor
Keyword(s):  
Decision Procedures ◽  
Fractional Permissions

Succour to the Confused Deputy

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

A Dynamic Interpretation of the CPS Hierarchy

2012 ◽  
pp. 296-311 ◽  
Author(s):  
Marek Materzok ◽  
Dariusz Biernacki
Keyword(s):  
Dynamic Interpretation

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

scholarly journals A New Order-Theoretic Characterisation of the Polytime Computable Functions

2012 ◽  
pp. 280-295 ◽  
Author(s):  
Martin Avanzini ◽  
Naohi Eguchi ◽  
Georg Moser
Keyword(s):  
New Order ◽  
Computable Functions

JATO: Native Code Atomicity for Java

2012 ◽  
pp. 2-17 ◽  
Author(s):  
Siliang Li ◽  
Yu David Liu ◽  
Gang Tan
Keyword(s):  
Native Code

scholarly journals Linear Approximation of Continuous Systems with Trapezoid Step Functions

2012 ◽  
pp. 98-114 ◽  
Author(s):  
Giulia Costantini ◽  
Pietro Ferrara ◽  
Agostino Cortesi
Keyword(s):  
Linear Approximation ◽  
Continuous Systems ◽  
Step Functions

Types and Access Controls for Cross-Domain Security in Flash

2012 ◽  
pp. 82-97 ◽  
Author(s):  
Aseem Rastogi ◽  
Avik Chaudhuri ◽  
Rob Johnson
Keyword(s):  
Cross Domain ◽  
Access Controls
Load More ...
Sign in / Sign up

Export Citation Format

Share Document