Result: Reasoning about program transformations

*Title*:

Reasoning about program transformations : imperative programming and flow of data / Jean-François Collard

*Author/editor-in-chief*:

*Publication*:

New York [u.a.] : Springer, 2003

*Physical description scale*:

XVIII, 237 S. : graph. Darst. ; 25 cm

*Format*:

*book*

*Language*:

*eng*

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

0387953914

*L1_Classifications*:

*Result*: Reasoning about program transformations