S. Schuman

This paper presents an elementary formal approach (or rather, a catalog of definitions) which provides a general framework for non-deterministic system specification . Expand

"You have e. g. quarrel on hand, I see," said I, "with some of the algebraists of Paris; but proceed." The concept of specification language is now wid.ely spread; formalising a problem is well recognised as a necessary step preceding any programming. Expand

The specification techniques put forward in [Schuman & Pitt 1987] are a variant on the Z notation, as promulgated by the Programming Research Group at Oxford [cf. Hayes 1987, Spivey 1988a & 1988b], which was in turn strongly influenced by VDM. Expand

A comprehensive introduction to system specification and design methods for high-integrity systems. Expand

The development of extensible programming languages is currently an extremely active area of research, and one which is considered very promising by a broad segment of the computing community. Expand

This report serves as a user's manual for TRANDIR/TRANGEN on the M460 Univac computer. Expand

The purpose of this brief paper is to propose an alternative approach for the implementation of an extensible language. Expand