Nielson, Flemming

Principles of Program Analysis

(No reviews yet) Write a Review

ISBN 13:: 9783642084744
author:: Nielson, Flemming
format:: Paperback
publisher:: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
language:: English
Publication Year:: 2010
Pages:: 476
Dimensions:: 15.6 x 23.4 x 2.4 centimetres (0
Genre:: Computers, Programming, General,
Condition:: New
Availability:: Item usually sent within 5 working days

£54.54

Current Stock: 5

Quantity:

Description

Description

Static analysis techniques provide reliable information about a program's dynamic behavior. This approach is used in various applications, including compilers for code improvement and software validation to detect errors or security breaches. The book presents an overview of four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. It highlights the similarities between these approaches, making it easier for readers to choose the right method and combine insights from other techniques. Suitable for M.Sc. and Ph.D. students as well as experienced researchers and professionals, this book covers basic semantic properties and advanced algorithmic methods.

View AllClose

Related Products

Related Products

Programming Languages: Principles and Paradigms

Gabbrielli, Maurizio

£30.56

This comprehensive textbook introduces the fundamental principles and paradigms of programming languages. Written by two experienced researchers, it provides an independent approach to understanding...

Complex Analysis: The Argument Principle in Analysis and Topology

Beardon, Alan

£15.13

Complex Analysis: The Argument Principle in Analysis and Topology by Alan F. Beardon offers a unique approach to teaching complex analysis, focusing on the argument principle and its applications in...

Programming: Principles and Practice Using C++

Stroustrup, Bjarne

£46.44

Learn to program with the inventor of C++: Programming Principles and Practice Using C++. This third edition provides a solid foundation for writing correct, maintainable, and efficient code. Bjarne...

Game Audio Programming: Principles and Practices

Somberg, Guy

£52.18

Game Audio Programming Principles and Practices by Guy Somberg is an edited volume that brings together 20-30 chapters written by experienced game audio programmers and sound designers. This...

Principles of Thermal Analysis and Calorimetry

Simon Gaisford (Author, Editor), Vicky Kett (Editor), Peter Haines (Editor)

£34.52

Thermal analysis and calorimetry are increasingly used in a wide range of applications. This second edition provides an up-to-date account of the principles, experimental apparatus, and practical...