Let us wish you a happy birthday!
Date of Birth
Please fill in a complete birthday Enter a valid birthday
×
Ubersetzerbau: Band 3: Analyse Und Transformation by Helmut Seidl, Reinhard Wilhelm, Sebastian Hack - Paperback
176.64 AED

Ubersetzerbau: Band 3: Analyse Und Transformation by Helmut Seidl, Reinhard Wilhelm, Sebastian Hack - Paperback

Be the first to rate this product 

176.64 AED 

  - You Save -176.64 AED
All prices include VAT  Details
Category Type
Mathematics
ISBN
9783642033292
Author
Helmut Seidl, Reinhard Wilhelm, Sebastian Hack
Publisher
Springer
Description:

Dieses Buch behandelt die Optimierungsphase von Ubersetzern. In dieser Phase werden Programme zur Effizienzsteigerung transformiert. Damit die Semantik der Programme bei diesen Transformationen erhalten bleibt, mussen jeweils zugehorige Anwendbarkeitsbedingungen erfullt sein. Diese werden mittels statischer Analyse der Programme uberpruft. In diesem Buch werden Analysen und Transformationen ...

Ships From United States
Ship to Dubai (Change city)
Delivered within Wednesday, May 2 - Friday, May 4 to Dubai

Condition:
New
Sold by:
InternationalBookStore (88% Positive Rating)

PRODUCT INFORMATION

  •  

    Specifications

    Category Type
    Mathematics
    ISBN
    9783642033292
    Languages
    German
    Item EAN
    2724437180880
    People
    Author
    Helmut Seidl, Reinhard Wilhelm, Sebastian Hack
    Category Type
    Mathematics
    ISBN
    9783642033292
    Languages
    German
    Item EAN
    2724437180880
    People
    Author
    Helmut Seidl, Reinhard Wilhelm, Sebastian Hack
    People
    Publisher
    Springer
    Technical Information
    Binding
    Paperback
    Languages and countries
    Book Language
    German
    Read more
  •  

    Description:

    Dieses Buch behandelt die Optimierungsphase von Ubersetzern. In dieser Phase werden Programme zur Effizienzsteigerung transformiert. Damit die Semantik der Programme bei diesen Transformationen erhalten bleibt, mussen jeweils zugehorige Anwendbarkeitsbedingungen erfullt sein. Diese werden mittels

    Dieses Buch behandelt die Optimierungsphase von Ubersetzern. In dieser Phase werden Programme zur Effizienzsteigerung transformiert. Damit die Semantik der Programme bei diesen Transformationen erhalten bleibt, mussen jeweils zugehorige Anwendbarkeitsbedingungen erfullt sein. Diese werden mittels statischer Analyse der Programme uberpruft. In diesem Buch werden Analysen und Transformationen imperativer und funktionaler Programme systematisch beschrieben. Neben einer detaillierten Beschreibung wichtiger Optimierungen bietet das Buch eine knappe Einfuhrung in die erforderlichen Konzepte und Methoden zur operationalen Semantik, zu vollstandigen Verbanden und Fixpunktalgorithmen.

    Product Features:
    • Category: Mathematics
    • Binding: Paperback
    • Language of Text: German
    • Author(s): Helmut Seidl, Reinhard Wilhelm, Sebastian Hack
    • Publisher: Springer
    • ISBN: 9783642033292
    • Number of Pages: 177
    • Dimensions: 9.21 x 6.14 x 0.4 inches
 

Customer Reviews

0
No ratings yet
Be the first to rate this product
Rate this product:

Sponsored products for you

×

Please verify your mobile number to complete your checkout

We will send you an SMS containing a verification code. Please double check your mobile number and click on "Send Verification Code".

+ Edit