Can I read Program Projection on Specifications on EtoBox?
Program Projection on Specifications by mriwa benabdelali is a document available to read on EtoBox.
What is Program Projection on Specifications about?
The document introduces the concept of projecting a program P onto its specification R. This projection, denoted π, captures the functionality of P that is relevant to satisfying R, excluding anything extra that P does. As an example, a program that computes x+y for non-negative y but also sets y to 0 is projected to remove the setting of y to 0 since that is not required by the specification. The projection operator is formally defined in section 4 and its properties discussed. The concept of projection re
- Author
- mriwa benabdelali
- Language
- EN