The Role of Data Reification in Program Refinement: Origins, Synthesis and Appraisal | Zendy

Tim Clement | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

The Role of Data Reification in Program Refinement: Origins, Synthesis and Appraisal

Author(s) -

Tim Clement

Publication year - 1992

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/35.5.451

Subject(s) - reification (marxism) , computer science , exploit , implementation , set (abstract data type) , programming language , theoretical computer science , software engineering , computer security , political science , politics , law

The formal development of implementations from specifications requires that we should be able to justify the replacement of definitions which are clear but inefficient by those which are efficient but unclear. We look at ways to provide such justifications, and see that they depend on the form of the definitions and the ways in which we propose to exploit them. We develop conditions which are feasible to establish and meet the needs of the most common situations, and provide pointers to related work in this area

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research