Opening book details…
Can I read Formal Methods in Transformational Derivation of Programs on EtoBox?
Formal Methods in Transformational Derivation of Programs by Uday S. Reddy is a Computer Science article available to read on EtoBox.
What is Formal Methods in Transformational Derivation of Programs about?
## Transformational derivation is the formal derivation of programs using the paradigm of program transformation. We discuss how formal methods of reasoning are used in this methodology. It is argued that formal methods, including induction, are essential for achieving common transformational objectives. Our discussion is in the context of the Focus system, an automated assistant to support program derivation using this paradigm. We illustrate how Focus provides support for rule management, rewriting, inductive reasoning and other formal activities, leaving the programmer free to explore high level design aspects.
Who reads Formal Methods in Transformational Derivation of Programs?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Uday S. Reddy
- Publisher
- ACM
- Published
- 1990
- Language
- EN
- Field
- Computer Science (Physical Sciences)