000 -LEADER |
fixed length control field |
01669 a2200241 4500 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OSt |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20210706162150.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
210204b xxu||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
ISBN |
9783662038116 |
040 ## - CATALOGING SOURCE |
Transcribing agency |
IIT Kanpur |
041 ## - LANGUAGE CODE |
Language code of text/sound track or separate title |
eng |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
005.1015113 |
Item number |
N554f |
100 ## - MAIN ENTRY--AUTHOR NAME |
Personal name |
Nielson, Flemming |
245 ## - TITLE STATEMENT |
Title |
Principles of program analysis [perpetual] |
Statement of responsibility, etc |
Flemming Nielson, Hanne Riis Nielson and Chris Hankin |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Name of publisher |
Springer-Verlag |
Year of publication |
2005 |
Place of publication |
Berlin |
300 ## - PHYSICAL DESCRIPTION |
Number of Pages |
xxi, 465p |
520 ## - SUMMARY, ETC. |
Summary, etc |
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. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer programming |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Nielson, Hanne Riis |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Hankin, Chris |
856 ## - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
https://link.springer.com/book/10.1007/978-3-662-03811-6 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
E books |