Path-oriented program analysis
By: J.C. Huang
Publisher: Cambridge University Press
Published: 2008
Place of publication: Cambridge; New York
Language: eng
Number of pages: 196
ISBN-13: 9780521882866
Subjects: Computer software -- Development; Computer software -- Development -- Computer programs
Notes: Includes bibliographical references (p. 191-193) and index
Table of contents: title: State constraints; title: Subprogram simplification; title: Program set; title: Pathwise decomposition; title: Tautological constraints; title: Program recomposition; title: Discussion; title: Automatic generation of symbolic traces