We view logic programs as ((rst-order) axiomatisations, and deductive synthesis and transformation as operations on mathematical systems composed of axioms and \logical" systems such as SLD and SLDNF. In this framework, we distinguish between speciication, deductive synthesis and transformation and discuss their interrelationships .

The color-flavor transformation is a mathematical result that has applications to problems as diverse as lattice gauge theory, random network models, and dynamical systems. Several variants are described, and an outline of the proof is given. It is then shown how to use the transformation to set up a field theoretic formalism for quantum chaotic maps.

Sufficient conditions to guarantee the existence and global exponential stability of periodic solutions of a CohenGrossberg-type BAM neural network are established by suitable mathematical transformation.

Cut-elimination is the most prominent form of proof transformation in logic. The elimination of cuts in formal proofs corresponds to the removal of intermediate statements (lemmas) in mathematical proofs. Cut-elimination can be applied to mine real mathematical proofs, i.e. for extracting explicit and algorithmic information. The system CERES (cut-elimination by resolution) is based on automate...

In this paper we present an overview of the uses of the TAMPR transformation system and present experience with using transformation in industrial applications. TAMPR is a fully automatic, rewrite-rule based program transformation system. From its initial implementation in 1970, TAMPR has evolved into a powerful tool for generating correct and efficient programs from specifications. The specifi...

Submitted: Jun 26, 2013; Accepted: Jul 24, 2013; Published: Jul 28, 2013 Abstract: A modern updating stage of an electromechanical energy converter, including the creation of power electromechanical systems with high-coercivity permanent magnets (PES with HPM), which comprise magnetic bearings on permanent magnets (MBPM) and hybrid magnetic bearings (HMB), puts forward an urgent scientific and ...

The migration of a legacy system is one of the most challenging tasks in the area of software evolution. There are existing several different approaches to migrate a legacy system with different advantages and disadvantages. One solution is to translate the software into an intermediate language which spans from the low abstraction level to the very high abstraction level. Once the software has...