The formal specification of abstract data types and their implementation in Fortran 90: Implementation issues concerning the use of pointers

In this paper we continue our investigation into the development of computational-science software based on the identification and formal specification of Abstract Data Types (ADTs) and their implementation in Fortran 90. In particular, we consider the consequences of using pointers when implementing a formally specified ADT in Fortran 90. Our aim is to highlight the resulting conflict between the goal of information hiding, which is central to the ADT methodology, and the space efficiency of the implementation. We show that the issue of storage recovery cannot be avoided by the ADT user, and present a range of implementations of a simple ADT to illustrate various approaches towards satisfactory storage management. Finally, we propose a set of guidelines for implementing ADTs using pointers in Fortran 90. These guidelines offer a way gracefully to provide disposal operations in Fortran 90. Such an approach is desirable since Fortran 90 does not provide automatic garbage collection which is offered by many object-oriented languages including Eiffel, Java, Smalltalk, and Simula.

Mechanochemical interconversion between discrete complexes and coordination networks - formal hydration/dehydration by LAG

Using a small planetary ball mill, liquid-assisted grinding (LAG) of metal salts or oxides (ZnO, CdO, CdCO3, Cu(OAc)(2)center dot H2O, Co(OAc)(2)center dot 4H(2)O, Mn(OAc)(2)center dot 4H(2)O, Ni(OAc)(2)center dot 4H(2)O, FeSO4 center dot 7H(2)O) with two equivalents of isonicotinic acid (HINA) and small amounts of water ( up to 5.6 molar equivalents) gave discrete aquo complexes trans-[M(INA)(2)(OH2)(4)] (M = Zn, Cd, Cu, Fe, Co, Ni, Mn) efficiently within 30 min. For M = Zn, Cd and Cu these complexes readily undergo reversible formal dehydration to the extended network structures [M(INA)(2)] (M = Zn, Cu) or [Cd(INA)(2)(OH2)]center dot DMF by further LAG with non-aqueous liquids such as methanol or DMF. Overall, the mechanochemical dehydrations are more effective than heating or immersion in bulk solvents. The work demonstrates a two-step mechanochemical synthesis of coordination networks via discrete aquo complexes which may be preferable to single step reactions or grinding-annealing procedures in some cases. For example, the two step method was the only way to prepare [Cd(INA)(2)(OH2)]center dot DMF mechanochemically and the porous network Cu(INA)(2) could not be obtained from the aquo complex by heating.

Aza-annulation of enaminones with crotonyl chloride - Formal reversal of regioselectivity.

The regiochemistry of aza-annulation of enaminones with alpha,beta-unsaturated acid chlorides bearing hydrogen atoms on the gamma-carbon is reversed when triethylamine is used as mediator. When the reaction was carried out at lower temperatures as 3-acyl beta,gamma-unsaturated compound could be isolated which cyclised to the desired product under thermal or basic conditions. The nature of this intermediate strongly suggests that a vinyl ketene is the active acylating agent. (C) 1997 Elsevier Science Ltd.