| 000 | 00340nam a2200109Ia 4500 | ||
|---|---|---|---|
| 999 |
_c192805 _d192805 |
||
| 020 | _a978-3-662-46669-8 | ||
| 040 | _cDepartment of Computer Applications | ||
| 100 | _aFeng | ||
| 245 | 0 | _aProgramming languages and Systems/ | |
| 260 |
_aNew York: _bSpringer, |
||
| 505 | _a 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 | ||
| 856 | _uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-03541-3 | ||
| 942 | _cEBK | ||