Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

A practical method for identifying intermetallic phase particles in aluminium alloys by electron probe microanalysis

Aluminium alloys that contain Si, Mg, Fe, Mn and/or Cu usually contain one or more types of intermetallic phases that are not readily distinguishable in the microstructure by conventional microscopy methods. It has thus been a challenge to develop a method that will unambiguously identify them. A practical approach has been developed that is based on an inherent linear relationship revealed for the overall distribution of any two elements in a precipitate/matrix geometry and the first-order approximation of electron probe microanalysis (EPMA) results. Application of this approach to a direct chill cast 6082 alloy is demonstrated, and its major limitations are discussed.