Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

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

0/5 ( ratings)

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.

Language: English

Pages: 214

Format: Paperback

Publisher: Springer

Release: June 20, 2001

ISBN: 3540421963

ISBN 13: 9783540421962

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

0/5 ( ratings)

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.

Language: English

Pages: 214

Format: Paperback

Publisher: Springer

Release: June 20, 2001

ISBN: 3540421963

ISBN 13: 9783540421962

More books from Robert Harper

The Little Typer

4.3/5 ( ratings)

Practical Foundations for Programming Languages

3.9/5 ( ratings)

The Definition of Standard ML, revised edition

Programming in Standard ML

Deadly Ransom

The (Almost) Perfect Investment System

Practical Foundations for Programming Languages

Molly

Molly (Spanish) [VHS]

Rite of Passage

Unleashed in Wonderland: The Further Misadventures of Mr. Toad from Wind in the Willows.

Called to be Victorious

CURAÇAO TRAVEL GUIDE 2024: DISCOVER INSIDER SECRETS AND MUST-SEE ATTRACTIONS FOR AN UNFORGETTABLE ADVENTURE

CURAÇAO TRAVEL GUIDE 2024: DISCOVER INSIDER SECRETS AND MUST-SEE ATTRACTIONS FOR AN UNFORGETTABLE ADVENTURE

CURAÇAO TRAVEL GUIDE 2024: DISCOVER INSIDER SECRETS AND MUST-SEE ATTRACTIONS FOR AN UNFORGETTABLE ADVENTURE

Greek Mythology Books for Kids: A Collection of Greek Stories and Greek Gods for Children

Rate this book!

Write a review?