My Library

University LibraryCatalogue


LEADER 00000cam  2200505Ia 4500 
003    OCoLC 
005    20140506091539.0 
006    m     o  d         
007    cr cn|         
008    031008s2003    nyua    ob    001 0 eng d 
019    SPRINGERocm53164943 
020    0387224610|q(electronic bk.) 
020    9780387224619|q(electronic bk.) 
020    0585472734|q(electronic bk.) 
020    9780585472737|q(electronic bk.) 
035    (OCoLC)53164943 
040    N$T|beng|cN$T|dOCL|dYDXCP|dWAU|dOCLCQ|dABC|dOCLCQ|dTUU
       |dOCLCQ|dTNF|dOCLCQ|dGW5XE|dOCLCF 
049    UMVA 
050  4 QA76.7|b.C645 2003eb 
072  7 COM|x051010|2bisacsh 
082 04 005.13|222 
100 1  Collard, Jean-Fran㯩s. 
245 10 Reasoning about program transformations|h[electronic 
       resource] :|bimperative programming and flow of data /
       |cJean-Fran㯩s Collard. 
260    New York :|bSpringer,|c2003. 
300    1 online resource (xviii, 237 p.) :|bill. 
504    Includes bibliographical references (p. 229-235) and 
       index. 
505 0  Introduction -- Describing program executions -- Labels --
       Revisiting some classical compiler concepts -- Reaching 
       definition analysis -- Applications of reaching definition
       analysis -- Some classical compiler concepts, part II -- 
       Single assignment forms -- Maximal static expansion -- 
       Toward algorithm recognition. 
520    The book focuses on analyses that extract the flow of data,
       which imperative programming hides through its use and 
       reuse of memory in computer systems and compilers. It 
       details some program transformations that conserve this 
       data flow and introduces a family of analyses, called 
       reaching definition analyses, to do this task. In addition,
       it shows that correctness of program transformations is 
       guaranteed by the conservation of data flow. Professionals
       and researchers in software engineering, computer 
       engineering, program design analysis, and compiler design 
       will benefit from its presentation of data-flow methods 
       and memory optimization of compilers. 
588    Description based on print version record. 
650  0 Imperative programming. 
650  0 Programming languages (Electronic computers) 
650  0 Program transformation (Computer programming) 
655  4 Electronic books. 
655  7 COMPUTERS|xProgramming Languages|xGeneral.|2bisacsh 
655  7 Electronic books.|2local 
655  7 Imperative programming.|2fast|0(OCoLC)fst01749734 
655  7 Program transformation (Computer programming)|2fast
       |0(OCoLC)fst01078672 
655  7 Programming languages (Electronic computers)|2fast
       |0(OCoLC)fst01078704 
776 08 |iPrint version:|aCollard, Jean-Fran㯩s.|tReasoning about 
       program transformations.|dNew York : Springer, 2003
       |z0387953914|w(DLC)  2002017378|w(OCoLC)48711268 
856 40 |3SpringerLink|uhttp://dx.doi.org.ezp.lib.unimelb.edu.au/
       10.1007/b97654|zConnect to ebook (University of Melbourne 
       only) 
938    YBP Library Services|bYANK|n2296299 
938    EBSCOhost|bEBSC|n98902 
990    Ebook load  - do not edit, delete or attach any records. 
994    92|bUMV 
Location Call No. Status
 UniM INTERNET resource    AVAILABLE