Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : TIC 2000 (2000 ; Montréal, Québec)  Voir les notices liées en tant qu'auteur

Titre(s) : Types in compilation [Texte électronique] : third international workshop, TIC 2000, Montreal, Canada, September 21, 2000 : revised selected papers / Robert Harper, (ed.)

Publication : Berlin ; New York : Springer, cop. 2001

Description matérielle : 1 online resource (206 pages)

Collection : Lecture notes in computer science ; 2071

Note(s) : Includes bibliographical references and index
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Types in Compilation, TIC 2000, held in Montreal, Canada in September 2000. The seven revised full papers presented have been carefully reviewed and selected from the workshop papers for inclusion in the book. The book focuses on the application of types in the implementation of programming languages. Among the topics addressed are intersection and union types, elimination, Java dynamic linking and loading, typed Assembly language, dynamic linking of native code, and type for recursive data structures

Autre(s) auteur(s) : Harper, Robert William (1957-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Informatique  Voir les notices liées en tant que sujet
Compilation (informatique)  Voir les notices liées en tant que sujet
Langages de programmation  Voir les notices liées en tant que sujet
Théorie des types  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.453 (23e éd.) = Compilateurs (logiciels)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540453321

Identifiant de la notice  : ark:/12148/cb44690649x

Notice n° :  FRBNF44690649 (notice reprise d'un réservoir extérieur)

Table des matières : Sound and complete elimination of singleton kinds / Karl Crary ; Program representation size in an intermediate language with intersection and union types / Allyn Dimock [and others] ; An abstract model of Java dynamic linking and loading / Sophia Drossopoulou ; Sharing in typed module assembly language / Dominic Duggan ; Scalable certification for typed assembly language / Dan Grossman, Greg Morrisett ; Safe and flexible dynamic linking of native code / Michael Hicks, Stephanie Weirich, Karl Crary ; Alias types for recursive data structures / David Walker, Greg Morrisett.