CJO - Abstract - <em>Reasoning About Program Transformations: Imperative Programming and Flow of Data</em> by Jean-Francois Collard, Springer-Verlag, 2003, ISBN 0-387-95391-4

Cambridge Journals Online

Cambridge Journals Online
Skip to content
Journal of Functional Programming (2004), 14 : 589-592 Cambridge University Press
Copyright © 2004 Cambridge University Press
doi:10.1017/S0956796804225321 (About doi)
Published online by Cambridge University Press 06 Aug 2004
*This article is available in a PDF that may contain more than one articles.
Therefore the PDF file's first page may not match this article's first page.
back to top
Cambridge University Press