Throughout the academic year 1986 7, the University of Illinois was host to a symposium on mathematical analysis which was attended by some of the leading figures in the field. This book arises out of this special year and lays emphasis on the synthesis of modern and classical analysis. The contributed articles by the participants cover the gamut of mainstream topics. This book will be essential to researchers in mathematical analysis."

This book lays emphasis on the synthesis of modern and classical analysis at the current frontiers of knowledge.

This book presents a comprehensive catalogue of elementary data types like sets, maps, orders, trees and lists, written in Ada. Such data types are often used in systems programming. The major focus is on a uniform syntactic and semantic interface for all data types, many implementation variants per data type, all accessible through a single interface and a hierarchical system of the data types as a basis for data type selection and implementation.