Strategic Resource Development Options in England and Wales

This paper describes the options which had to be considered for new water resources in the development of the † National Rivers Authority's water resource strategy for England and Wales. The options included interregional transfers, strategic reservoirs, and a range of unconventional schemes including aquifer recharge, effluent re-use, groundwater abstraction where levels are rising, desalination, and transfer by sea. The main options are described and comparative costs are presented.     

Some proposals for improving Pascal

This paper describes modest extensions to standard Pascal which would be simple and practical solutions to well-known problems in three areas: organization of large programs, exception-handling and representational abstraction.     

软件维护与逆向工程评述

本介绍并分析了近几年在软件维护与逆向开程领域中的一些研究工作。这些工作涉及软件维护模型，程序观察，程序数据库，超本，程序高层抽象和反编译等内容。     

The implementation of DTL

The DTL language is the result of a combined study of data structured design methods and the use of concurrency as a high-level structuring device. Programs written in DTL are regarded as translations from input streams to output streams. Such translations are specified by the use of attributed translation grammars. This paper describes the implementation of DTL via an abstract virtual machine.     

On interfaces

The nature of interfaces is discussed. It is recommended that modern software approaches to interfaces (such as abstract data types) be extended to interfaces of all kinds. These interfaces can and should be developed at the level of abstraction appropriate to the interacting elements, rather than at the level of their lowest common denominator, which is frequently the case. It is proposed that for an interface to exist at any level of abstraction, there must be an operational framework that implements that level of abstraction and within which the interfacing elements interact. Four tasks required for the development of interfaces are described. The traditional classification of interfaces as hardware/software, software/software, and hardware/hardware is found wanting and a new partitioning is suggested—structural or interpretive interfaces, symbolic interfaces, and physical interfaces. Standards and scientific and engineering theories are shown to define levels of abstraction for general interfaces in much the same way that programming languages do for software interfaces. Implications for software engineering and concurrent engineering are explored.     

Strings and the sequence abstraction in Pascal

This paper examines the sequence abstraction known in Pascal as the ‘file’, and shows how sequences of characters (‘strings’ in the SNOBOL sense) may be cleanly fitted into Pascal-like languages. The specific problems of providing the suggested facilities as an experimental extension to Pascal are examined.     

Control Abstractions for Local Search

Comet is an object-oriented language supporting a constraint-based architecture for local search through declarative and search components. This paper proposes three novel and lightweight control abstractions for the search component, significantly enhancing the compositionality, modularity, and reuse of Comet programs. These abstractions, which includes events and checkpoints, rely on first-class closures as the enabling technology. They are especially useful for expressing, in a modular way, heuristic and meta-heuristics, unions of heterogeneous neighborhoods, and sequential composition of neighborhoods.     

The self-concept: Fact or artifact.

Research interest in the last 10 years has been sufficient enough so that it is now possible to ask whether the self is an objective reality or a nebulous abstraction. Assessment of the emipircal and theoretical foundations as well as the philosophical suggest that the self is an artifact which has been invented to explain experience. From Psyc Abstracts 36:01:3HJ25L. (PsycINFO Database Record (c) 2010 APA, all rights reserved)