Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2001

Types in Compilation

Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers

Editors:

  1. Robert Harper

    1. Carnegie Mellon University School of Computer Science, Pittsburgh, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2071)

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (7 papers)

  1. Front Matter

    Pages I-XII
    PDF

  2. Types in Compilation

    2. Program Representation Size in an Intermediate Language with Intersection and Union Types

      • Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn Turbak, J. B. Wells, Jeffrey Considine
      Pages 27-52

    4. Sharing in Typed Module Assembly Language

      • Dominic Duggan
      Pages 85-116

    5. Scalable Certification for Typed Assembly Language

      • Dan Grossman, Greg Morrisett
      Pages 117-145

    6. Safe and Flexible Dynamic Linking of Native Code

      • Michael Hicks, Stephanie Weirich, Karl Crary
      Pages 147-176

    7. Alias Types for Recursive Data Structures

      • David Walker, Greg Morrisett
      Pages 177-206

  3. Back Matter

    Pages 207-207
    PDF
Back to top

About this book

The importance of typed languages for building robust software systems is, by now, an undisputed fact. Years of research have led to languages with richly expressive, yet easy to use, type systems for high-level programming languages. Types provide not only a conceptual framework for language designers, but also a ord positive bene ts to the programmer, principally the ability to express and enforce levels of abstraction within a program. Early compilers for typed languages followed closely the methods used for their untyped counterparts. The role of types was limited to the earliest s- ges of compilation, and they were thereafter ignored during the remainder of the translation process. More recently, however, implementors have come to - cognize the importance of types during compilation and even for object code. Several advantages of types in compilation have been noted to date: { They support self-checking by the compiler. By tracking types during c- pilation it is possible for an internal type checker to detect translation errors at an early stage, greatly facilitating compiler development. { They support certi cation of object code. By extending types to the ge- rated object code, it becomes possible for a code user to ensure the basic integrity of that code by checking its type consistency before execution. { They support optimized data representations and calling conventions, even in the presence of modularity. By passing types at compile-, link-, and even run-time, it is possible to avoid compromises of data representation imposed by untyped compilation techniques.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Carnegie Mellon University School of Computer Science, Pittsburgh, USA

    Robert Harper

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation