This report presents theoretical results about two issues relevant to the implementation of programning languages. The first issue concerns data types in a highly typed algorithmic language such as Algol 68. It has long ...

In this paper we describe four topologies for interconnecting many identical processors into a computer network. Each topology is investigated with respect to average interprocessor distance, bus load, and routing algorithms. ...

The method is developed for two specific problems: (if computation of the structure of the primary component (assumed to consist of a polytropic gas) in a synchronous close binary sysiem and (ii) search for non-axisymmetric ...

The research proposal is to support the development of the "science" behind software engineering in order to ensure required system properties, to compare current software engineering techniques, to develop specification ...

A "free" robot is one which "pursues happiness" or reward rather than obeying commands. A program for controlling such a robot has been written, and is in the process of being debugged and tested. It is designed to learn ...

In this paper a new computer approach to the study of the interactions of particles with differing masses is applied to the study of planetary type evolution. The formulation contains an inherent self-reorganization ...

This research describes the use of abstract data types as a design and implementation tool for data base management systems. Abstract data types, represented by generic objects and generic procedures, are used to implement ...

A new programming language called TELOS is introduced through a complete specification of its syntax and an informal description of its semantics. The design of TELOS is discussed in view of a set of language design goals ...

A program that learns structures that represent verb meaning is described. Inputs are combinations of surface sentences and environment snapshots. The program learns to associate surface verbs with conceptual dependency ...