default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAPLAS 2013: Melbourne, Victoria, Australia
- Chung-chieh Shan:
Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. Lecture Notes in Computer Science 8301, Springer 2013, ISBN 978-3-319-03541-3 - Filippo Bonchi
, Georgiana Caltais, Damien Pous, Alexandra Silva:
Brzozowski's and Up-To Algorithms for Must Testing. 1-16 - Koichi Fujima, Sohei Ito, Naoki Kobayashi:
Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes. 17-32 - Fu Song, Tayssir Touili:
Model Checking Dynamic Pushdown Networks. 33-49 - Eric Goubault, Sylvie Putot:
Robustness Analysis of Finite Precision Implementations. 50-57 - Kensuke Kojima, Atsushi Igarashi:
A Hoare Logic for SIMT Programs. 58-73 - Holger Siegel, Bogdan Mihaila, Axel Simon:
The Undefined Domain: Precise Relational Information for Entities That Do Not Exist. 74-89 - Juan Antonio Navarro Pérez, Andrey Rybalchenko:
Separation Logic Modulo Theories. 90-106 - Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin:
Bi-Abduction with Pure Properties for Specification Inference. 107-123 - Giovanny Lucero, David A. Naumann, Augusto Sampaio:
Laws of Programming for References. 124-139 - Janina Voigt, Alan Mycroft:
Dynamic Alias Protection with Aliasing Contracts. 140-155 - Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.:
Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance. 156-171 - Cristina Cifuentes, Nathan Keynes:
Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk). 172-175 - Marco Patrignani, Dave Clarke, Frank Piessens:
Secure Compilation of Object-Oriented Components to Protected Module Architectures. 176-191 - Uli Fahrenberg, Axel Legay:
Generalized Quantitative Analysis of Metric Transition Systems. 192-208 - Julian Kranz, Alexander Sepp, Axel Simon:
GDSL: A Universal Toolkit for Giving Semantics to Machine Language. 209-216 - Niklas Broberg, Bart van Delft, David Sands:
Paragon for Practical Programming with Information-Flow Control. 217-232 - Hyunik Na, Sukyoung Ryu:
ThisJava: An Extension of Java with Exact Types. 233-240 - Alessandra Di Pierro, Herbert Wiklicky:
Semantics of Probabilistic Programs: A Weak Limit Approach. 241-256 - Jacques Garrigue, Didier Rémy:
Ambivalent Types for Principal Type Inference with GADTs. 257-272 - Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Cheng-Chieh Chang, Chung-Cheng Li:
Temporal Specification Mining for Anomaly Analysis. 273-289 - Haiyan Zhu, Thomas Dillig, Isil Dillig:
Automated Inference of Library Specifications for Source-Sink Property Verification. 290-306 - Nick Benton:
The Proof Assistant as an Integrated Development Environment. 307-314 - Fritz Henglein, Ralf Hinze:
Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries. 315-332 - Dariusz Biernacki, Sergueï Lenglet:
Environmental Bisimulations for Delimited-Control Operators. 333-348 - Valentin Blot, Colin Riba:
On Bar Recursion and Choice in a Classical Setting. 349-364 - Matthias Puech:
Proofs, Upside Down - A Functional Correspondence between Natural Deduction and the Sequent Calculus. 365-380
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-01 23:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
