Programming and Software Engineering

Programming Languages and Systems

8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Editors: Ueda, Kazunori (Ed.)

  • Up to date results
  • Fast conference proceedings
  • State-of-the-art report
see more benefits

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-642-17164-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-642-17163-5
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.

Table of contents (30 chapters)

  • A Calculus for Hybrid CSP

    Liu, Jiang (et al.)

    Pages 1-15

  • Foundations of Quantum Programming (Extended Abstract)

    Ying, Mingsheng

    Pages 16-20

  • From a Verified Kernel towards Verified Systems

    Klein, Gerwin

    Pages 21-33

  • Reasoning about Computations Using Two-Levels of Logic

    Miller, Dale

    Pages 34-46

  • Typechecking Higher-Order Security Libraries

    Bhargavan, Karthik (et al.)

    Pages 47-62

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-642-17164-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-642-17163-5
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Programming Languages and Systems
Book Subtitle
8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Editors
  • Kazunori Ueda
Series Title
Programming and Software Engineering
Series Volume
6461
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer Berlin Heidelberg
eBook ISBN
978-3-642-17164-2
DOI
10.1007/978-3-642-17164-2
Softcover ISBN
978-3-642-17163-5
Edition Number
1
Number of Pages
X, 440
Number of Illustrations and Tables
48 b/w illustrations
Topics