yet another meta-language for programming language processing

The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.

Crystal structure of a noval poly(aryl ether ketone) containing meta-phenyl linkage

Crystal structure of a novel aryl ether ketone polymer poly(aryl ether ketone ether ketone ketone containing meta-phenyl linkage)(PEKEKmK) was determined by means of WAXD and ED. An orthorhombic unit cell is proposed containing two chains with a=0.772 nm, b=0.604 nm and c=2.572 nm. According to the orthorhombic system, the 10 reflections of this polymer were indexed.

Crystal structure and variation in unit cell parameters with crystallization temperatures of poly (ether ketone ether ketone ketone)s containing meta-phenyl links (PEKEKmK)

The X-ray diffraction patterns of the crystalline aromatic ketone polymer PEKEKmK (aryl ether ketone ether ketone ketone polymer containing meta-phenyl links) have been investigated (for the chemical structure, see Formula). An orthorhombic unit cell is proposed to contain two chains with a = 0.772 nm, b = 0.604 nm and c = 2.572 nm. According to the orthorhombic system, the 11 reflections of this polymer were indexed. Meanwhile, variation in unit cell parameters with crystallization temperatures of PEKEKmK was also investigated. [GRAPHICS]

Synthesis and crystallization of a novel poly(ether ketone ether ketone ketone) containing meta-phenylene linkage: PEKEKK(T/I)

Poly(ether ketone ether ketone ketone) containing meta-phenylene linkage (PEKEKK(T/I)) was synthesized by electrophilic Friedel-Crafts acylation condensation of 1, 4-diphenoxybenzophenone with terephthaloyl chloride (T) and isophthaloyl chloride (I) with a T/I ratio of 1 and characterized by LR,DSC,TGA and WAXD. PEKEKK(T/I) has two different crystal structures: a conventional Farm I structure, the same as that observed in PEEK and PEK, wich is usually developed from melt crystallization, and a new Form II structure which can be developed from cold crystallization or solvent induced crystallization (by exposing the glassy sample to methylene chloride).

Crystallization behavior of a novel ether ketone polymer containing meta-phenylene linkage: PEKEKK (T/I)

Nonisothermal and isothermal melt crystallization kinetics of a novel aryl ether ketone polymer containing meta-phenylene linkages, PEKEKK (T/I), were studied by differential scanning calorimetry (DSC). The Avrami equation modified by Jeziorny and a new approach by combining the Avrami equation with the Ozawa equation could describe the nonisothermal crystallization. Isothermal crystallization could also be described by the Avrami equation. The activation energies were 187 and 159 kJ/mol for nonisothermal and isothermal crystallization, respectively. Using the Hoffman-Weeks method, the equilibrium melting point T-m(o) was estimated as 353 degrees C. From the spherulitic growth equation proposed by Hoffman and Lauritzen, the nucleation parameter K-g of the isothermal melt crystallization was estimated as 5.49 x 10(5) K-2. The crystallization characteristics of PEKEKK (T/I) were compared with those of all-para PEKEKK. The differences were explained by differences in the chain flexibility of the two polymers.

Crystallization process and morphology structure of poly(aryl ether ether ketone ketone) containing meta-phenyl links

The crystallization process and morphology of poly(aryl ether ether ketone ketone) containing meta-phenyl links (PEEKmK) have been investigated by transmission electron microscopy and electron diffraction. The results indicate that the thin films of PEEKmK isothermally crystallized from both the glassy state and the melt at the temperature range of 180 similar to 250 degrees C consist of two kinds of morphological forms, i. e. large (order of mu m), flat-on single crystals and narrow, lath-like, edge-on lamellae, The latter consists of the spherulites. Meanwhile, the growing process of the two kinds of morphological forms has been discussed.