Programming languages and Systems/
Feng
Programming languages and Systems/ - New York: Springer,
Brzozowski’s and Up-To Algorithms for Must Testing
Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva
Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes
Koichi Fujima, Sohei Ito, Naoki Kobayashi
Model Checking Dynamic Pushdown Networks
Fu Song, Tayssir Touili
Robustness Analysis of Finite Precision Implementations
Eric Goubault, Sylvie Putot
A Hoare Logic for SIMT Programs
Kensuke Kojima, Atsushi Igarashi
The Undefined Domain: Precise Relational Information for Entities That Do Not Exist
Holger Siegel, Bogdan Mihaila, Axel Simon
Separation Logic Modulo Theories
Juan Antonio Navarro Pérez, Andrey Rybalchenko
Bi-Abduction with Pure Properties for Specification Inference
Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin
Laws of Programming for References
Giovanny Lucero, David Naumann, Augusto Sampaio
Dynamic Alias Protection with Aliasing Contracts
Janina Voigt, Alan Mycroft
Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance
Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.
Internal Deployment of the Parfait Static Code Analysis Tool at Oracle
Cristina Cifuentes, Nathan Keynes
Secure Compilation of Object-Oriented Components to Protected Module Architectures
Marco Patrignani, Dave Clarke, Frank Piessens
Generalized Quantitative Analysis of Metric Transition Systems
Uli Fahrenberg, Axel Legay
GDSL: A Universal Toolkit for Giving Semantics to Machine Language
Julian Kranz, Alexander Sepp, Axel Simon
Paragon for Practical Programming with Information-Flow Control
Niklas Broberg, Bart van Delft, David Sands
ThisJava: An Extension of Java with Exact Types
Hyunik Na, Sukyoung Ryu
Semantics of Probabilistic Programs: A Weak Limit Approach
Alessandra Di Pierro, Herbert Wiklicky
Ambivalent Types for Principal Type Inference with GADTs
Jacques Garrigue, Didier Rémy
978-3-662-46669-8
Programming languages and Systems/ - New York: Springer,
Brzozowski’s and Up-To Algorithms for Must Testing
Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva
Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes
Koichi Fujima, Sohei Ito, Naoki Kobayashi
Model Checking Dynamic Pushdown Networks
Fu Song, Tayssir Touili
Robustness Analysis of Finite Precision Implementations
Eric Goubault, Sylvie Putot
A Hoare Logic for SIMT Programs
Kensuke Kojima, Atsushi Igarashi
The Undefined Domain: Precise Relational Information for Entities That Do Not Exist
Holger Siegel, Bogdan Mihaila, Axel Simon
Separation Logic Modulo Theories
Juan Antonio Navarro Pérez, Andrey Rybalchenko
Bi-Abduction with Pure Properties for Specification Inference
Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin
Laws of Programming for References
Giovanny Lucero, David Naumann, Augusto Sampaio
Dynamic Alias Protection with Aliasing Contracts
Janina Voigt, Alan Mycroft
Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance
Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.
Internal Deployment of the Parfait Static Code Analysis Tool at Oracle
Cristina Cifuentes, Nathan Keynes
Secure Compilation of Object-Oriented Components to Protected Module Architectures
Marco Patrignani, Dave Clarke, Frank Piessens
Generalized Quantitative Analysis of Metric Transition Systems
Uli Fahrenberg, Axel Legay
GDSL: A Universal Toolkit for Giving Semantics to Machine Language
Julian Kranz, Alexander Sepp, Axel Simon
Paragon for Practical Programming with Information-Flow Control
Niklas Broberg, Bart van Delft, David Sands
ThisJava: An Extension of Java with Exact Types
Hyunik Na, Sukyoung Ryu
Semantics of Probabilistic Programs: A Weak Limit Approach
Alessandra Di Pierro, Herbert Wiklicky
Ambivalent Types for Principal Type Inference with GADTs
Jacques Garrigue, Didier Rémy
978-3-662-46669-8