Principles of Program Analysis

Häftad, Engelska, 2010

AvFlemming Nielson,Hanne R. Nielson,Chris Hankin

699 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

1 069 kr

Skickas inom 10-15 vardagar

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems.

Produktinformation

Utgivningsdatum2010-12-01
Mått155 x 235 x 29 mm
Vikt698 g
FormatHäftad
SpråkEngelska
Antal sidor452
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642084744

Tillhör följande kategorier

1 Introduction.- 2 Data Flow Analysis.- 3 Constraint Based Analysis.- 4 Abstract Interpretation.- 5 Type and Effect Systems.- 6 Algorithms.- A Partially Ordered Sets.- A.1 Basic Definitions.- A.2 Construction of Complete Lattices.- A.3 Chains.- A.4 Fixed Points.- Concluding Remarks.- B Induction and Coinduction.- B.1 Proof by Induction.- B.2 Introducing Coinduction.- B.3 Proof by Coinduction.- Concluding Remarks.- C Graphs and Regular Expressions.- C.1 Graphs and Forests.- C.2 Reverse Postorder.- C.3 Regular Expressions.- Concluding Remarks.- Index of Notation.

Mer från samma författare

Two-Level Functional Languages

Del 34

Two-Level Functional Languages

Flemming Nielson, Hanne Riis Nielson, Denmark) Nielson, Flemming (Aarhus Universitet, Denmark) Nielson, Hanne Riis (Aarhus Universitet, C. J. van Rijsbergen

879 kr

Two-Level Functional Languages

Del 34

Two-Level Functional Languages

Flemming Nielson, Hanne Riis Nielson, Denmark) Nielson, Flemming (Aarhus Universitet, Denmark) Nielson, Hanne Riis (Aarhus Universitet

2 129 kr

Principles of Security and Trust

Principles of Security and Trust

David Sands, Flemming Nielson

809 kr

Principles of Security and Trust

Principles of Security and Trust

David Sands, Flemming Nielson

899 kr

ML with Concurrency

ML with Concurrency

Flemming Nielson

709 kr

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Hanne Riis Nielson, Flemming Nielson

499 kr

Type And Effect Systems: Behaviours For Concurrency

Type And Effect Systems: Behaviours For Concurrency

Torben Amtoft, Hanne Riis Nielson, Flemming Nielson, AMTOFT TORBEN

1 949 kr

Formal Methods

Formal Methods

Flemming Nielson, Hanne Riis Nielson

709 kr

Principles of Security and Trust

Principles of Security and Trust

Flemming Nielson, David Sands

709 kr

Trustworthy Global Computing

Trustworthy Global Computing

Christos Kaklamanis, Flemming Nielson

709 kr

Du kanske också är intresserad av

Principles of Program Analysis

Principles of Program Analysis

Flemming Nielson, Hanne R. Nielson, Chris Hankin

1 069 kr

Programming Languages and Systems - ESOP '96

Programming Languages and Systems - ESOP '96

Hanne R. Nielson

709 kr

Introduction to Lambada Calculi for Computer Scientists

Introduction to Lambada Calculi for Computer Scientists

Chris Hankin, C. Hankin

389 kr

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

C HANKIN I MACKIE, Chris Hankin, I Mackie, Rajagopal Nagarajan, I. MacKie, I. Mackie

3 229 kr

Coordination Programming: Mechanisms, Models And Semantics

Coordination Programming: Mechanisms, Models And Semantics

ANDREOLI J M, Jean-marc Andreoli, Chris Hankin, D Le Metayer, Jean-Marc Andreoli, D. Le Metayer

2 949 kr

Programming Languages and Systems

Programming Languages and Systems

709 kr

Static Analysis

Static Analysis

Chris Hankin, Igor Siveroni

709 kr

Semantics, Logics, and Calculi

Semantics, Logics, and Calculi

Christian W. Probst, Chris Hankin, René Rydhof Hansen, Rene Rydhof Hansen

709 kr

Introducao Ao Calculo Lambda

Introducao Ao Calculo Lambda

259 kr

Coordination Languages and Models

Coordination Languages and Models

Paolo Ciancarini, Chris Hankin

709 kr