Abstract Interpretation: Computer science, Semantics, Monotonic function, Ordered set, Lattice (order), Execution (computers), Computer program, ... Calculation, Static code analysis, Compiler - Softcover

 
9786130766030: Abstract Interpretation: Computer science, Semantics, Monotonic function, Ordered set, Lattice (order), Execution (computers), Computer program, ... Calculation, Static code analysis, Compiler
Softcover
ISBN 10: 6130766033 ISBN 13: 9786130766030
Publisher: OmniScriptum, 2010

Synopsis

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online.In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information about its semantics (e.g. control structure, flow of information) without performing all the calculations. Its main concrete application is formal static analysis, the automatic extraction of information about the possible executions of computer programs; such analyses have two main usages: inside compilers, to analyse programs in order to decide whether certain optimisations or transformations are applicable; for debugging or even the certification of programs against classes of bugs. Abstract interpretation was formalized by Patrick Cousot and Radhia Cousot.

"synopsis" may belong to another edition of this title.

Reseña del editor

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online.In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information about its semantics (e.g. control structure, flow of information) without performing all the calculations. Its main concrete application is formal static analysis, the automatic extraction of information about the possible executions of computer programs; such analyses have two main usages: inside compilers, to analyse programs in order to decide whether certain optimisations or transformations are applicable; for debugging or even the certification of programs against classes of bugs. Abstract interpretation was formalized by Patrick Cousot and Radhia Cousot.

"About this title" may belong to another edition of this title.

Publisher
OmniScriptum
Publication date
2010
Language
English
ISBN 10 
6130766033
ISBN 13 
9786130766030
Binding
Tapa blanda
Number of pages
88
Editor
Miller Frederic P., Vandome Agnes F., McBrewster John

Other Popular Editions of the Same Title

9780470209714: Abstract Interpretation of Declarative Languages

Featured Edition

ISBN 10:  0470209712 ISBN 13:  9780470209714
Softcover