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

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35182-2_22 ◽

2012 ◽

pp. 312-314

Author(s):

Greg Morrisett

Download Full-text

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

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35182-2_18 ◽

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

Download Full-text

Decision Procedures over Sophisticated Fractional Permissions

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35182-2_26 ◽

2012 ◽

pp. 368-385 ◽

Author(s):

Xuan Bach Le ◽

Cristian Gherghina ◽

Aquinas Hobor

Keyword(s):

Decision Procedures ◽

Fractional Permissions

Download Full-text

A Functional View of Imperative Information Flow

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35182-2_4 ◽

2012 ◽

pp. 34-49 ◽

Author(s):

Thomas H. Austin ◽

Cormac Flanagan ◽

Martín Abadi

Keyword(s):

Information Flow

Download Full-text

A New Order-Theoretic Characterisation of the Polytime Computable Functions

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35182-2_20 ◽

2012 ◽

pp. 280-295 ◽

Author(s):

Martin Avanzini ◽

Naohi Eguchi ◽

Georg Moser

Keyword(s):

New Order ◽

Computable Functions

Download Full-text

JATO: Native Code Atomicity for Java

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35182-2_2 ◽

2012 ◽

pp. 2-17 ◽

Author(s):

Siliang Li ◽

Yu David Liu ◽

Gang Tan

Keyword(s):

Download Full-text

Linear Approximation of Continuous Systems with Trapezoid Step Functions

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35182-2_8 ◽

2012 ◽

pp. 98-114 ◽

Author(s):

Giulia Costantini ◽

Pietro Ferrara ◽

Agostino Cortesi

Keyword(s):

Linear Approximation ◽

Continuous Systems ◽

Download Full-text

Succour to the Confused Deputy

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35182-2_6 ◽

2012 ◽

pp. 66-81

Author(s):

Radha Jagadeesan ◽

Corin Pitcher ◽

James Riely

Download Full-text

A Dynamic Interpretation of the CPS Hierarchy

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35182-2_21 ◽

2012 ◽

pp. 296-311 ◽

Author(s):

Marek Materzok ◽

Dariusz Biernacki

Keyword(s):

Dynamic Interpretation

Download Full-text

Types and Access Controls for Cross-Domain Security in Flash

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35182-2_7 ◽

2012 ◽

pp. 82-97 ◽

Author(s):

Aseem Rastogi ◽

Avik Chaudhuri ◽

Rob Johnson

Keyword(s):

Cross Domain ◽

Access Controls

Download Full-text