Program Verification

Robert P. Kurshan

Program verification--the formal checking of a computer program for correctness--involves steps of reduction and decomposition, as well as a check of the resulting component programs. It provides an economically viable method for testing the design of integrated circuits.
(pp. 534)
Email this

Invariant Distances and Metrics in Complex Analysis

Alexander V. Isaev and Steven G. Krantz

The authors work with a variety of distance functions that are defined infinitesimally on complex manifolds, showing how properties of these distances lead to restrictions on the automorphism group of the manifold and sometimes to an identification of the manifold itself.
(pp. 546)
Email this

Mathematics in Barcelona: Time Past, Time Future

Allyn Jackson

Barcelona, the site of the European Congress of Mathematicians in July 2000, boasts four universities and an international center for mathematics research.
(pp. 554)
Email this

Ralph Phillips (1913--1998)

Peter Sarnak