Types in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers
Author:   Robert Harper
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Edition:   2001 ed.
Volume:   2071
ISBN:  

9783540421962


Pages:   214
Publication Date:   20 June 2001
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $145.07 Quantity:  
Add to Cart

Share |

Types in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers


Add your own review!

Overview

Full Product Details

Author:   Robert Harper
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2001 ed.
Volume:   2071
Dimensions:   Width: 15.50cm , Height: 1.20cm , Length: 23.50cm
Weight:   0.710kg
ISBN:  

9783540421962


ISBN 10:   3540421963
Pages:   214
Publication Date:   20 June 2001
Audience:   College/higher education ,  Professional and scholarly ,  Tertiary & Higher Education ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Types in Compilation.- Sound and Complete Elimination of Singleton Kinds.- Program Representation Size in an Intermediate Language with Intersection and Union Types.- An Abstract Model of Java Dynamic Linking and Loading.- Sharing in Typed Module Assembly Language.- Scalable Certification for Typed Assembly Language.- Safe and Flexible Dynamic Linking of Native Code.- Alias Types for Recursive Data Structures.

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