Unifying Program Construction and Modification
نویسندگان
چکیده
We propose a method which integrates program modification to the refinement calculus style of program development. Given a program developed through stepwise refinement of a specification, we propose an approach to specify modifications and to derive a new program from the existing refinement steps. This approach is based on the refinement lattice operator meet. A modification to a specification is represented by taking the meet of the old specification and the new feature to add. A solution to the new specification is constructed by coercing the new feature to match the structure of the existing refinement steps. The method fosters reuse of refinement steps and their proofs. We also show that program construction is streamlined by using coercion1 .
منابع مشابه
A Unifying Framework for Correct Program Construction
We present a description technique for the correct construction of programs that allows us to deene terms like reenement, model-checking, and synthesis as special operations within this framework. From that meta-view on program constructions both advantages and disadvantages of all methods mentioned become clear. Furthermore, it becomes clear that an incremental program construction seems to be...
متن کاملModification of the Properties of Warm Mix Asphalt Using Recycled Plastic Bottles
Construction of flexible pavements with hot mix asphalt (HMA) mixtures consumes huge energy which impacts the resources and the environment of the world. Warm Mix Asphalt (WMA) is an effective alternative as they produced with lower mixing and compaction temperature than those used in HMA production. This technology decreases energy consumption, saves money, and reducing the environmental pollu...
متن کاملA FLEXIBLE METHOD OF BUILDING CONSTRUCTION SAFETY RISK ASSESSMENT AND INVESTIGATING FINANCIAL ASPECTS OF SAFETY PROGRAM
Construction industry has the highest ratio of fatality of workers in comparison with other industries. Construction safety has been always a matter of focus to control safety risks. This article presents a new flexible method of safety risk assessment by adding Hybrid Value Number (HVN) to the assessment equation. As a result of using this method, the results of assessment process will be more...
متن کاملA Unifying Construction of Orthonormal Bases for System Identi cation
In this paper we develop a general and very simple construction for complete orthonormal bases for system identiication. This construction provides a unifying formulation of all known orthonormal bases since the common FIR and recently popular Laguerre and Kautz model structures are restrictive special cases of our construction as is another construction method based on balanced realisations of...
متن کاملA Unifying Construction of Orthonormal Bases for System Identiication
| This paper develops a general and very simple construction for complete orthonormal bases for system identiica-tion. This construction provides a unifying formulation of many previously studied orthonormal bases since the common FIR and recently popular Laguerre and two-parameter Kautz model structures are restrictive special cases of the construction presented here. However, in contrast to t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logic Journal of the IGPL
دوره 6 شماره
صفحات -
تاریخ انتشار 1998