Cover 2

Reasoning About Program Transformations

Cover 2

Reasoning About Program Transformations

Reasoning About Program Transformations

Imperative Programming and Flow of Data

By

Jean-François Collard

By

Jean-François Collard

2002

Community

Readers & Supporters

Join Our Discord

Follow Along

Blog Hardcover Live About Hardcover Request a feature

We're an Open Book

Frequently Asked Questions Contact Support Roadmap Our Policies