KI-Beratung Beta

  • Produktbild: Types in Compilation
  • Produktbild: Types in Compilation
Band 2071

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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.06.2001

Abbildungen

X, 214 p.

Herausgeber

Robert Harper

Verlag

Springer Berlin

Seitenzahl

214

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

347 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-42196-2

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.06.2001

Abbildungen

X, 214 p.

Herausgeber

Robert Harper

Verlag

Springer Berlin

Seitenzahl

214

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

347 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-42196-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Types in Compilation
  • Produktbild: Types in Compilation
  • 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.