Reasoning About Program Transformations

✍ Scribed by Jean-Francois Collard

Year: 2002
Tongue: English
Leaves: 256
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

The text contains a detailed and current presentation of the program analyses and transformations that extract the flow of data in computer memory systems. The emphasis is on a framework for the optimization of code for imperative programs and greater computer systems efficiency. In addition, the author shows that correctness of program transformations is guaranteed by the conservation of data flow. Professionals and researchers in software engineering, computer engineering, program design analysis, and compiler design will benefit from its presentation of data-flow methods and memory optimization of compilers.

📜 SIMILAR VOLUMES

Reasoning About Program Transformations

📁 Reasoning About Program Transformations

✍ Jean-Francois Collard 📂 Library 📅 2002 🏛 Springer 🌐 English

Reasoning About Program Transformations:

📁 Reasoning About Program Transformations: Imperative Programming and Flow of Data

✍ Jean-François Collard (eds.) 📂 Library 📅 2004 🏛 Springer-Verlag New York 🌐 English

Overview The motivation of this text lies in what we believe is the inadequacy of current frameworks to reason about the ?ow of data in imperative programs. This inadequacy clearly shows up when dealing with the individual side effects of loop iterations. - deed, we face a paradoxical situation w

Reasoning about program transformations:

📁 Reasoning about program transformations: imperative programming and flow of data

✍ Jean-Francois Collard 📂 Library 📅 2003 🏛 Springer 🌐 English

This new book provides a detailed, current, and pragmatic presentation of the program analyses and transformations that extract the flow of data in computer memory systems. Professionals, practitioners, and researchers in software engineering, computer engineering, program design analysis, and compi

Reasoning about Functional Programs - Sp

📁 Reasoning about Functional Programs - Sparkle: a Proof Assistant for Clean

✍ Maarten de Mol 📂 Library 📅 2009 🏛 IPA 🌐 English

Thinking Programs: Logical Modeling and

📁 Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

✍ Wolfgang Schreiner 📂 Library 📅 2021 🏛 Springer 🌐 English

This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages tha

Thinking Programs: Logical Modeling and

📁 Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

✍ Wolfgang Schreiner 📂 Library 📅 2021 🏛 Springer 🌐 English

This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that comp