Edison-N — an Edison implementation for a network of microcomputers

This paper describes an experimental implementation of the Edison programming language for a network of microcomputers based on the Z-80 microprocessor. The resulting Edison-N system allows parallel execution of concurrent processes. Its aim is to assist in teaching the principles of concurrent programming.     

The Michelson resonator free-electron laser. I. Passive modestructure and mode decay

A general analysis of the evolution of phase locking in an RF linac-driven Michelson resonator free-electron laser (FEL) is presented. By providing a delay of one RF period in the secondary arm of the interferometer, successive optical pulses can be coupled at the beamsplitter, so that they build up from noise with a definite phase relationship. Phase locking is described in terms of longitudinal mode decay by extracting the mode losses directly from the passive frequency response of the resonator. The analyses predict significant mode structure simplification in microsecond macropulses, so that high-resolution spectroscopy is feasible on RF linac-driven FELs. Simulations of the perfectly tuned Michelson resonator FEL are described from spontaneous radiation to saturation, using a one-dimensional pulse propagation code. Excellent agreement with the analytical results in the small-signal regime is demonstrated     

Precise documentation of well-structured programs

Describes a new form of program documentation that is precise, systematic and readable. This documentation comprises a set of displays supplemented by a lexicon and an index. Each display presents a program fragment in such a way that its correctness can be examined without looking at any other display. Each display has three parts: (1) the specification of the program presented in the display, (2) the program itself, and (3) the specifications of programs invoked by this program. The displays are intended to be used by software engineers as a reference document during inspection and maintenance. This paper also introduces a specification technique that is a refinement of H.D. Mills's (1975) functional approach to program documentation and verification; programs are specified and described in tabular form