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

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer International Publishing

9783319035413, 9783319035420

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03542-0_23 ◽

2013 ◽

pp. 315-332 ◽

Author(s):

Fritz Henglein ◽

Ralf Hinze

Download Full-text

On Bar Recursion and Choice in a Classical Setting

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03542-0_25 ◽

2013 ◽

pp. 349-364 ◽

Author(s):

Valentin Blot ◽

Colin Riba

Keyword(s):

Classical Setting

Download Full-text

Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03542-0_2 ◽

2013 ◽

pp. 17-32 ◽

Author(s):

Koichi Fujima ◽

Sohei Ito ◽

Naoki Kobayashi

Keyword(s):

Model Checking ◽

Higher Order ◽

Download Full-text

Paragon for Practical Programming with Information-Flow Control

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03542-0_16 ◽

2013 ◽

pp. 217-232 ◽

Author(s):

Niklas Broberg ◽

Bart van Delft ◽

David Sands

Keyword(s):

Flow Control ◽

Information Flow ◽

Information Flow Control

Download Full-text

Secure Compilation of Object-Oriented Components to Protected Module Architectures

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03542-0_13 ◽

2013 ◽

pp. 176-191 ◽

Author(s):

Marco Patrignani ◽

Dave Clarke ◽

Frank Piessens

Keyword(s):

Object Oriented

Download Full-text

Automated Inference of Library Specifications for Source-Sink Property Verification

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03542-0_21 ◽

2013 ◽

pp. 290-306 ◽

Author(s):

Haiyan Zhu ◽

Thomas Dillig ◽

Isil Dillig

Keyword(s):

Automated Inference ◽

Property Verification ◽

Download Full-text

GDSL: A Universal Toolkit for Giving Semantics to Machine Language

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03542-0_15 ◽

2013 ◽

pp. 209-216 ◽

Author(s):

Julian Kranz ◽

Alexander Sepp ◽

Axel Simon

Keyword(s):

Machine Language

Download Full-text

Ambivalent Types for Principal Type Inference with GADTs

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03542-0_19 ◽

2013 ◽

pp. 257-272 ◽

Author(s):

Jacques Garrigue ◽

Didier Rémy

Keyword(s):

Type Inference ◽

Download Full-text

Robustness Analysis of Finite Precision Implementations

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03542-0_4 ◽

2013 ◽

pp. 50-57 ◽

Author(s):

Eric Goubault ◽

Sylvie Putot

Keyword(s):

Robustness Analysis ◽

Finite Precision

Download Full-text

Separation Logic Modulo Theories

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03542-0_7 ◽

2013 ◽

pp. 90-106 ◽

Author(s):

Juan Antonio Navarro Pérez ◽

Andrey Rybalchenko

Keyword(s):

Separation Logic

Download Full-text