Programming and Software Engineering

Programming Languages and Systems

11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings

Editors: Shan, Chung-chien (Ed.)

  • Up-to-date results
  • Proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013
  • State-of-the-art research
see more benefits

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-319-03542-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-319-03541-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (26 chapters)

  • Brzozowski’s and Up-To Algorithms for Must Testing

    Bonchi, Filippo (et al.)

    Pages 1-16

  • Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes

    Fujima, Koichi (et al.)

    Pages 17-32

  • Model Checking Dynamic Pushdown Networks

    Song, Fu (et al.)

    Pages 33-49

  • Robustness Analysis of Finite Precision Implementations

    Goubault, Eric (et al.)

    Pages 50-57

  • A Hoare Logic for SIMT Programs

    Kojima, Kensuke (et al.)

    Pages 58-73

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-319-03542-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-319-03541-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Programming Languages and Systems
Book Subtitle
11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings
Editors
  • Chung-chien Shan
Series Title
Programming and Software Engineering
Series Volume
8301
Copyright
2013
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-03542-0
DOI
10.1007/978-3-319-03542-0
Softcover ISBN
978-3-319-03541-3
Edition Number
1
Number of Pages
X, 381
Number of Illustrations and Tables
40 b/w illustrations
Topics