SØG - mellem flere end 8 millioner bøger:

Søg på: Titel, forfatter, forlag - gerne i kombination.
Eller blot på isbn, hvis du kender dette.

Viser: Principles of Program Analysis

Principles of Program Analysis

Principles of Program Analysis Vital Source e-bog

Flemming Nielson, Hanne R. Nielson og Chris Hankin
(2015)
Springer Nature
411,00 kr. 369,90 kr.
Leveres umiddelbart efter køb
Principles of Program Analysis

Principles of Program Analysis Vital Source e-bog

Flemming Nielson, Hanne R. Nielson og Chris Hankin
(2015)
Springer Nature
632,00 kr. 568,80 kr.
Leveres umiddelbart efter køb
Principles of Program Analysis

Principles of Program Analysis

Flemming Nielson, Hanne R. Nielson og Chris Hankin
(2004)
Sprog: Engelsk
Springer London, Limited
666,00 kr. 599,40 kr.
På lager, Bestil nu og få den leveret
om ca. 2 hverdage
  • Klik for at bedømme:
  • 3.96/6 (27 bedømmelser)

Detaljer om varen

  • Vital Source leje e-bog 180 dage
  • Udgiver: Springer Nature (Februar 2015)
  • Forfattere: Flemming Nielson, Hanne R. Nielson og Chris Hankin
  • ISBN: 9783662038116R180
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). 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. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.
Licens varighed:
Online udgaven er tilgængelig: 180 dage fra købsdato.
Offline udgaven er tilgængelig: 180 dage fra købsdato.

Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: -1 sider kan printes ad gangen
Copy: højest -1 sider i alt kan kopieres (copy/paste)

Detaljer om varen

  • Vital Source E-book
  • Udgiver: Springer Nature (Februar 2015)
  • Forfattere: Flemming Nielson, Hanne R. Nielson og Chris Hankin
  • ISBN: 9783662038116
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). 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. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.
Licens varighed:
Online udgaven er tilgængelig: 365 dage fra købsdato.
Offline udgaven er tilgængelig: ubegrænset dage fra købsdato.

Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: -1 sider kan printes ad gangen
Copy: højest -1 sider i alt kan kopieres (copy/paste)

Detaljer om varen

  • Hardback: 452 sider
  • Udgiver: Springer London, Limited (December 2004)
  • Forfattere: Flemming Nielson, Hanne R. Nielson og Chris Hankin
  • ISBN: 9783540654100
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.
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.

About Springer

Science, technology and medicine play an important role in our daily lives. With Springer at the top, these subjects are quite at home in our publishing houses.

 

Some of the most renowned scientists in the world are our authors. Alongside Springer, with offices in many of the world’s centers of knowledge, the Science / Technology / Medicine (STM) publishers Apress, BioMed Central, Humana, Key Curriculum Press, Spektrum Akademischer Verlag and others enjoy excellent professional reputations.

 

All in all, some 2,000 academic journals and around 6,500 new books are published each year – in Berlin, Heidelberg, Dordrecht, Vienna, Paris, London, Milan, Moscow, New York, Beijing, Tokyo and New Delhi. 90 percent of our publications appear on the market in English.