Limit search to available items
Book Cover
E-book
Author APLAS (Symposium) (11th : 2013 : Melbourne, Vic.)

Title Programming languages and systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / edited by Chung-chieh Shan
Published Cham : Springer, 2013
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (x, 381 pages) : illustrations
Series Lecture Notes in Computer Science, 0302-9743 ; 8301
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 8301. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
Contents Brzozowski's and Up-To Algorithms for Must Testing / Filippo Bonchi, Georgiana Caltais, Damien Pous and Alexandra Silva -- Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes / Koichi Fujima, Sohei Ito and Naoki Kobayashi -- Model Checking Dynamic Pushdown Networks / Fu Song and Tayssir Touili -- Robustness Analysis of Finite Precision Implementations / Eric Goubault and Sylvie Putot -- A Hoare Logic for SIMT Programs / Kensuke Kojima and Atsushi Igarashi -- The Undefined Domain: Precise Relational Information for Entities That Do Not Exist / Holger Siegel, Bogdan Mihaila and Axel Simon -- Separation Logic Modulo Theories / Juan Antonio Navarro Pérez and Andrey Rybalchenko -- Bi-Abduction with Pure Properties for Specification Inference / Minh-Thai Trinh, Quang Loc Le, Cristina David and Wei-Ngan Chin
Laws of Programming for References / Giovanny Lucero, David Naumann and Augusto Sampaio -- Dynamic Alias Protection with Aliasing Contracts / Janina Voigt and Alan Mycroft -- Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance / Jieung Kim, Sukyoung Ryu, Victor Luchangco and Guy L. Steele Jr. -- Internal Deployment of the Parfait Static Code Analysis Tool at Oracle / Cristina Cifuentes and Nathan Keynes -- Secure Compilation of Object-Oriented Components to Protected Module Architectures / Marco Patrignani, Dave Clarke and Frank Piessens -- Generalized Quantitative Analysis of Metric Transition Systems / Uli Fahrenberg and Axel Legay -- GDSL: A Universal Toolkit for Giving Semantics to Machine Language / Julian Kranz, Alexander Sepp and Axel Simon -- Paragon for Practical Programming with Information-Flow Control / Niklas Broberg, Bart van Delft and David Sands
ThisJava: An Extension of Java with Exact Types / Hyunik Na and Sukyoung Ryu -- Semantics of Probabilistic Programs: A Weak Limit Approach / Alessandra Di Pierro and Herbert Wiklicky -- Ambivalent Types for Principal Type Inference with GADTs / Jacques Garrigue and Didier Rémy -- Temporal Specification Mining for Anomaly Analysis / Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Cheng-Chieh Chang and Chung-Cheng Li -- Automated Inference of Library Specifications for Source-Sink Property Verification / Haiyan Zhu, Thomas Dillig and Isil Dillig -- The Proof Assistant as an Integrated Development Environment / Nick Benton -- Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries / Fritz Henglein and Ralf Hinze -- Environmental Bisimulations for Delimited-Control Operators / Dariusz Biernacki and Sergueï Lenglet -- On Bar Recursion and Choice in a Classical Setting / Valentin Blot and Colin Riba -- Proofs, Upside Down / Matthias Puech
Summary This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013. The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems
Notes Includes author index
Online resource; title from PDF title page (SpringerLink, viewed December 16, 2013)
Subject Programming languages (Electronic computers) -- Congresses.
Computer programming -- Congresses.
Computer Systems.
Programming Languages.
Genre/Form Conference papers and proceedings.
Congress.
Conference papers and proceedings.
Form Electronic book
Author Shan, Chung-Chieh, editor
ISBN 9783319035420 (electronic bk.)
3319035428 (electronic bk.)
331903541X (print)
9783319035413 (print)
Other Titles APLAS 2013