Data flow analysis: theory and practice

Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it to produce performance-maximizing code, and software engineers use it to re-engineer or reverse engine...

Descripción completa

Detalles Bibliográficos
Autores principales: Khedker, Uday, Sanyal, Amitabha, Sathe, Bageshri
Lenguaje:eng
Publicado: CRC Press 2009
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/1999754
_version_ 1780945930973872128
author Khedker, Uday
Sanyal, Amitabha
Sathe, Bageshri
author_facet Khedker, Uday
Sanyal, Amitabha
Sathe, Bageshri
author_sort Khedker, Uday
collection CERN
description Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it to produce performance-maximizing code, and software engineers use it to re-engineer or reverse engineer programs and verify the integrity of their programs.  Supplementary Online Materials to Strengthen Understanding Unlike most comparable books, many of which are limited to bit vector frameworks and classical constant propagation, Data Flow Analysis: Theory and Practice offers comprehensive covera
id cern-1999754
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2009
publisher CRC Press
record_format invenio
spelling cern-19997542021-04-21T20:26:32Zhttp://cds.cern.ch/record/1999754engKhedker, UdaySanyal, AmitabhaSathe, BageshriData flow analysis: theory and practiceComputing and ComputersData flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it to produce performance-maximizing code, and software engineers use it to re-engineer or reverse engineer programs and verify the integrity of their programs.  Supplementary Online Materials to Strengthen Understanding Unlike most comparable books, many of which are limited to bit vector frameworks and classical constant propagation, Data Flow Analysis: Theory and Practice offers comprehensive coveraCRC Pressoai:cds.cern.ch:19997542009
spellingShingle Computing and Computers
Khedker, Uday
Sanyal, Amitabha
Sathe, Bageshri
Data flow analysis: theory and practice
title Data flow analysis: theory and practice
title_full Data flow analysis: theory and practice
title_fullStr Data flow analysis: theory and practice
title_full_unstemmed Data flow analysis: theory and practice
title_short Data flow analysis: theory and practice
title_sort data flow analysis: theory and practice
topic Computing and Computers
url http://cds.cern.ch/record/1999754
work_keys_str_mv AT khedkeruday dataflowanalysistheoryandpractice
AT sanyalamitabha dataflowanalysistheoryandpractice
AT sathebageshri dataflowanalysistheoryandpractice

Ejemplares similares