Types in compilation : third international workshop, TIC 2000, Montreal, Canada, September 21, 2000 : revised selected papers
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...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
2071 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Types in compilation, third international workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised selected Papers, Robert Harper, (ed.), 2001, New York, Springer, 1 vol. (206 p.), Lecture notes in computer science, 3-540-42196-3 • Types in Compilation, Texte imprimé, 9783662175125 |
| LEADER | 04419nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 949290 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155227688 | ||
| 020 | |a 9783540453321 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Types in compilation |n (03 |d :2000 |c :Montréal, Québec). | |
| 245 | 1 | 0 | |a Types in compilation : |b third international workshop, TIC 2000, Montreal, Canada, September 21, 2000 : revised selected papers |c [edited by] Robert Harper. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2071 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Compilation (informatique) | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Théorie des types | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Harper, Robert William, |d 1957- |4 pbd | |
| 776 | 0 | |0 058088555 |t Types in compilation |o third international workshop, TIC 2000, Montreal, Canada, September 21, 2000 |o Revised selected Papers |f Robert Harper, (ed.) |d 2001 |c New York |n Springer |p 1 vol. (206 p.) |s Lecture notes in computer science |z 3-540-42196-3 | |
| 776 | 0 | |t Types in Compilation |b Texte imprimé |z 9783662175125 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45332-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-7PW413V7-W |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748060308 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45332-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751511846 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45332-6 |z Accès INSA CVL | |
| 997 | |0 949290 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||