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 |
Analysis |
computerwetenschappen |
|
computer sciences |
|
programmeertalen |
|
programming languages |
|
wiskunde |
|
mathematics |
|
logica |
|
logic |
|
software engineering |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
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 (Electronic computers)
|
|
Computer Systems
|
|
Programming Languages
|
|
Computer systems
|
|
Computer programming
|
|
Programming languages (Electronic computers)
|
|
Engineering & Applied Sciences.
|
|
Computer Science.
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Shan, Chung-chieh, editor
|
ISBN |
9783319035420 |
|
3319035428 |
|
331903541X |
|
9783319035413 |
|