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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Harper, Robert (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 2071
• Θέματα: Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

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 design...

Πίνακας περιεχομένων:

• 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.