• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Programmeringsböcker
      3. Programvaruutveckling

      Optimal Interprocedural Program Optimization

      A New Framework and Its Application

      AvJens Knoop

      Häftad, Engelska, 1998

      Del i serien Lecture Notes in Computer Science

      564 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Fler format och utgåvor

      E-bok

      739 kr

      Beskrivning

      Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural optimization, and offers cookbook style support for constructing the underlying algorithms. It is aimed at compiler constructors and researchers interested in the systematic transfer of intraprocedural optimizations to the interprocedural setting, as well as students seeking a gentle introduction to the field.

      Produktinformation

      • Utgivningsdatum:1998-09-23
      • Mått:152 x 229 x 18 mm
      • Vikt:460 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:288
      • Upplaga:1998
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540651239

      Utforska kategorier

      • Programvaruutveckling inom Data och IT
      • Tillämpad matematik inom Naturvetenskap och teknik

      Innehållsförteckning

      • Preface.- Preface.- The Intraprocedural Framework.- Optimal Intraprocedural Code Motion: The Transformations.- Optimal Intraprocedural Code Motion: The DFA-Algorithms.- The Framework.- The Programming Language.- Higher Order Data Flow Analysis.- The Interprocedural Setting.- Interprocedural Abstract Interpretation.- A Cookbook for Optimal Interprocedural Program Optimization.- The Application.- Optimal Interprocedural Code Motion: The Transformations.- Optimal Interprocedural Code Motion: The IDFA-Algorithms.- Conclusion.- Perspectives.
      Hoppa över listan

      Mer från samma författare

      Jens Knoop, Wolfgang Karl, Martin Schulz, Koji Inoue, Thilo Pionteck - Architecture of Computing Systems - ARCS 2017, Häftad
      Del 10172

      Architecture of Computing Systems - ARCS 2017

      Jens Knoop, Wolfgang Karl, Martin Schulz, Koji Inoue, Thilo Pionteck

      Häftad, 2017

      581 kr

      Thilo Pionteck, Koji Inoue, Martin Schulz, Wolfgang Karl, Jens Knoop - Architecture of Computing Systems - ARCS 2017, E-bok

      Architecture of Computing Systems - ARCS 2017

      Thilo Pionteck, Koji Inoue, Martin Schulz, Wolfgang Karl, Jens Knoop

      E-bok
      2017

      739 kr

      Jens Knoop - Compiler Construction, Häftad

      Compiler Construction

      Jens Knoop

      Häftad, 2011

      581 kr

      Jens Knoop - Compiler Construction, E-bok

      Compiler Construction

      Jens Knoop

      E-bok
      2011

      732 kr

      Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification, and Validation, Häftad
      Del 336

      Leveraging Applications of Formal Methods, Verification, and Validation

      Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen

      Häftad, 2012

      581 kr

      Bernhard Steffen, Dietmar Schreiner, Tiziana Margaria, Jens Knoop, Reiner Hahnle - Leveraging Applications of Formal Methods, Verification, and Validation, E-bok

      Leveraging Applications of Formal Methods, Verification, and Validation

      Bernhard Steffen, Dietmar Schreiner, Tiziana Margaria, Jens Knoop, Reiner Hahnle

      E-bok
      2012

      739 kr

      Hoppa över listan

      Mer från samma serie

      Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński - Multiobjective Optimization, Häftad

      Multiobjective Optimization

      Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

      Häftad, 2008

      564 kr

      Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad
      Del 16297

      Knowledge Graphs

      Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

      Häftad, 2026

      949 kr

      Alexandros Moukas, Carles Sierra, Fredrik Ygge - Agent Mediated Electronic Commerce II, Häftad

      Agent Mediated Electronic Commerce II

      Alexandros Moukas, Carles Sierra, Fredrik Ygge

      Häftad, 2000

      581 kr

      Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith - Types for Proofs and Programs, Häftad

      Types for Proofs and Programs

      Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

      Häftad, 2000

      581 kr

      Vincenzo Gervasi, Andreas Vogelsang - Requirements Engineering: Foundation for Software Quality, Häftad
      Del 13216

      Requirements Engineering: Foundation for Software Quality

      Vincenzo Gervasi, Andreas Vogelsang

      Häftad, 2022

      639 kr

      Heinz G. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford - Component-Based Software Engineering, Häftad

      Component-Based Software Engineering

      Heinz G. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford

      Häftad, 2007

      581 kr

      Xiaofeng Chen, Haibo Hu, Ding Wang - Data Security and Privacy Protection, Häftad
      Del 16177

      Data Security and Privacy Protection

      Xiaofeng Chen, Haibo Hu, Ding Wang

      Häftad, 2025

      570 kr

      Graham Hutton - Mathematics of Program Construction, Häftad
      Del 11825

      Mathematics of Program Construction

      Graham Hutton

      Häftad, 2019

      581 kr

      Michael Hartisch, Chu-Hsuan Hsueh, Jonathan Schaeffer - Computers and Games, Häftad
      Del 15550

      Computers and Games

      Michael Hartisch, Chu-Hsuan Hsueh, Jonathan Schaeffer

      Häftad, 2025

      753 kr

      Michael Hartisch, Chu-Hsuan Hsueh, Jaap van den Herik - Advances in Computer Games, Häftad
      Del 16463

      Advances in Computer Games

      Michael Hartisch, Chu-Hsuan Hsueh, Jaap van den Herik

      Häftad, 2026

      570 kr

      Hoppa över listan

      Du kanske också är intresserad av

      Jens Knoop - Optimal Interprocedural Program Optimization, E-bok

      Optimal Interprocedural Program Optimization

      Jens Knoop

      E-bok
      2003

      739 kr

      Jens Knoop, Wolfgang Karl, Martin Schulz, Koji Inoue, Thilo Pionteck - Architecture of Computing Systems - ARCS 2017, Häftad
      Del 10172

      Architecture of Computing Systems - ARCS 2017

      Jens Knoop, Wolfgang Karl, Martin Schulz, Koji Inoue, Thilo Pionteck

      Häftad, 2017

      581 kr

      Bernhard Steffen, Dietmar Schreiner, Tiziana Margaria, Jens Knoop, Reiner Hahnle - Leveraging Applications of Formal Methods, Verification, and Validation, E-bok

      Leveraging Applications of Formal Methods, Verification, and Validation

      Bernhard Steffen, Dietmar Schreiner, Tiziana Margaria, Jens Knoop, Reiner Hahnle

      E-bok
      2012

      739 kr

      Jens Knoop - Compiler Construction, E-bok

      Compiler Construction

      Jens Knoop

      E-bok
      2011

      732 kr

      Thilo Pionteck, Koji Inoue, Martin Schulz, Wolfgang Karl, Jens Knoop - Architecture of Computing Systems - ARCS 2017, E-bok

      Architecture of Computing Systems - ARCS 2017

      Thilo Pionteck, Koji Inoue, Martin Schulz, Wolfgang Karl, Jens Knoop

      E-bok
      2017

      739 kr

      Jens Knoop - Compiler Construction, Häftad

      Compiler Construction

      Jens Knoop

      Häftad, 2011

      581 kr

      Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification, and Validation, Häftad
      Del 336

      Leveraging Applications of Formal Methods, Verification, and Validation

      Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen

      Häftad, 2012

      581 kr

      Sebastian Tadros - SIGNERAD - Vad vill du bli när du blir stor?, Kartonnage
      • Signerad!

      SIGNERAD - Vad vill du bli när du blir stor?

      Sebastian Tadros

      Kartonnage, 2026

      249 kr

      Lars Kepler - Medusa, Inbunden
      • Nyhet
      Del 11

      Medusa

      Lars Kepler

      Inbunden, 2026

      269 kr

      Måns Nilsson - En ledig dag med Familjen Tvärtomsson, Inbunden
      • -24%
      Del 2

      En ledig dag med Familjen Tvärtomsson

      Måns Nilsson

      Inbunden, 2026

      129 kr169 kr