The SKIM II processor is a mierocoded hardware machine for the rapid evaluation of functional languages. This paper gives details of some of the more novel methods employed by SKIM II, and resulting performance measurements. The authors conclude that combinator reduction can still form the basis for the efficient implementation of a functional language.

No abstract

A set of facilities for an algebra system that makes it possible to mampulate formal power series is described. Unlike many previous power series packages, the one presented here does not enforce any predetermined or arbitrary limits on the order of expansions generated. The system can deal with the elementary functions and copes gracefully with removable singularities of the form exemplified by t/sin(t) at t = 0. Examples of the use of the power series package are given; they were run on the SCRATCHPAD algebra system.

Grant (1973) showed that the expansion giving the profile of a steady Stokes wave near a 120° corner was more complicated than had previously been assumed. This paper gives further terms in such an expansion, and shows that generating them cannot introduce transcendental quantities beyond those noted by Grant.

No abstract