Coverart for item
The Resource Programming languages and systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, edited by Chung-chieh Shan

Programming languages and systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, edited by Chung-chieh Shan

Label
Programming languages and systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
Title
Programming languages and systems
Title remainder
11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
Statement of responsibility
edited by Chung-chieh Shan
Title variation
APLAS 2013
Creator
Contributor
Subject
Genre
Language
eng
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
Member of
Dewey number
005.13
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2013
http://bibfra.me/vocab/lite/meetingName
APLAS (Symposium)
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Shan, Chung-chieh,
Series statement
  • Lecture Notes in Computer Science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
8301
http://library.link/vocab/subjectName
  • Computer Science
  • Programming Languages, Compilers, Interpreters
  • Software Engineering
  • Logics and Meanings of Programs
  • Mathematical Logic and Formal Languages
  • Programming Languages
  • Computer Systems
  • Programming languages (Electronic computers)
  • Computer programming
Label
Programming languages and systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, edited by Chung-chieh Shan
Instantiates
Publication
Note
Includes author index
Antecedent source
unknown
Color
multicolored
Contents
  • 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 --
  • 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
  • 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 --
  • 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
  • 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
  • ThisJava: An Extension of Java with Exact Types
  • Proofs, Upside Down
  • Matthias Puech
  • 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
Control code
ocn874033516
Dimensions
unknown
Extent
1 online resource (x, 381 pages)
File format
unknown
Form of item
online
Isbn
9783319035420
Isbn Type
(electronic bk.)
Level of compression
unknown
Other control number
10.1007/978-3-319-03542-0
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)874033516
Label
Programming languages and systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, edited by Chung-chieh Shan
Publication
Note
Includes author index
Antecedent source
unknown
Color
multicolored
Contents
  • 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 --
  • 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
  • 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 --
  • 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
  • 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
  • ThisJava: An Extension of Java with Exact Types
  • Proofs, Upside Down
  • Matthias Puech
  • 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
Control code
ocn874033516
Dimensions
unknown
Extent
1 online resource (x, 381 pages)
File format
unknown
Form of item
online
Isbn
9783319035420
Isbn Type
(electronic bk.)
Level of compression
unknown
Other control number
10.1007/978-3-319-03542-0
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)874033516

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...