Programming Languages and Systems
Author:   Zhenjiang Hu
Publisher:   Springer
ISBN:  

9783642106736


Pages:   376
Publication Date:   17 April 2010
Format:   Undefined
Availability:   Out of stock   Availability explained


Our Price $65.87 Quantity:  
Add to Cart

Share |

Programming Languages and Systems


Add your own review!

Overview

This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009.

The 21 papers presented in this volume together with 3 invited talks were carefully reviewed and selected from 56 submissions. The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.

Full Product Details

Author:   Zhenjiang Hu
Publisher:   Springer
Imprint:   Springer
Dimensions:   Width: 23.40cm , Height: 2.00cm , Length: 15.60cm
Weight:   0.526kg
ISBN:  

9783642106736


ISBN 10:   3642106730
Pages:   376
Publication Date:   17 April 2010
Audience:   General/trade ,  General
Format:   Undefined
Publisher's Status:   Unknown
Availability:   Out of stock   Availability explained

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now