Accelerated [Gla01]. Access [Dix01, Kle00, Mor00a, Yor01]. Accident [KM01a]. across [Lop01]. Adaptable [Kem02b]. Adapter [May01]. Adapters [Dew02c, Dew02d]. Adaptive [Phi00c]. Adaptors [Bec02e, PW00]. Adding [Sta01]. Adventures [Sch00a]. Advice [Mey02a]. Alan [Sch01c]. Algol [Pla00a]. Algorithm [HR02, Lor01, Phi00a]. Algorithms [All00c, Ano02a, Bec02d, Buc02, Dew01c, Koe01, Mey01h, Mey01i]. All...

We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps (but with immutable stack variables). In particular, we provide simple sound rules for deriving higher-order frame rules, allowing for local reasoning.

The goal of the Persistent Programming Research Group is the provision of an environment which incorporates the principle of orthogonal persistence in order to facilitate the production of large and complex software. A database management system constitutes such software and in this paper we show how a persistent store assists in the construction of such a system. We show that a small number of...

The authors consider the history of Computer Algebra (CA) development and applications at the famous Keldysh Institute of Applied Mathematics (Russia Academy of Science). At the Institute CA was used in various areas: Applied Celestial Mechanics, Mathematics, Robotics, Hydromechanics, and Methods of Calculation. Authors compared and classified the existing systems and their possibilities. An at...