Reasoning About Program Transformations: Imperative Programming and Flow of Data

Programming

by Jean-Francois Collard

Hardcover

ISBN: 978-0-387-95391-5

ISBN-10: 0-387-95391-4

Springer · 2002