Overview
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (11 chapters)
-
Introduction
-
Basic Concepts
-
Analyses and Transformations
-
Data Flow and Expansion
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Reasoning About Program Transformations
Book Subtitle: Imperative Programming and Flow of Data
Editors: Jean-François Collard
DOI: https://doi.org/10.1007/b97654
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 2003
Hardcover ISBN: 978-0-387-95391-5Published: 16 October 2002
Softcover ISBN: 978-1-4419-2981-5Published: 03 December 2010
eBook ISBN: 978-0-387-22461-9Published: 14 June 2007
Edition Number: 1
Number of Pages: XVIII, 238
Topics: Programming Languages, Compilers, Interpreters, Programming Techniques