Studiebog
Types in Compilation
Du sparer Spar kr. 40,00 med Shopping-fordele
  • Leveringstid 5-8 hverdage
  • Forventet levering 23-04-2021
For at købe bogen til fordelspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis de første 30 dage. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om medlemskaber og Shopping-fordele her.
Format:
Bog, paperback
Udgivelsesdato:
01-06-2001
Sprog:
Engelsk
Udgave:
2001 ed..
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

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.

Vis mereVis mindre

Udgivelsesdato:
01-06-2001
ISBN13:
9783540421962
Vægt:
710 g
Dybde:
12 mm
Bredde:
155 mm
Højde:
235 mm
Nummer i serien:
2071
Format:
Paperback
Forfattere

    Vis mereVis mindre

    Vis mereVis mindre

    Fandt du ikke hvad du søgte?

    Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

    Velkommen til Saxo – din danske boghandel!

    Hos os kan du handle som gæst, Saxo-bruger eller Premium-medlem – du bestemmer helt selv. Skulle du få brug for hjælp, sidder vores kundeservice-team klar ved både telefonerne og tasterne.

    Om fordelspriser hos Saxo

    For at købe bøger til fordelspris, skal du være medlem af Premium, Premium Shopping eller Premium Studie. De første 30 dage er gratis for nye medlemmer. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om fordelene ved vores forskellige medlemskaber her.

    Machine Name: SAXO080