A design oriented digital design language

A digital design language is presented here which is more consistent with the design sequence of digital computer than existing languages. An ideal design sequence is first investigated and the following desirable design language characteristics obtained. A good design oriented language must be: 1) multi-level, 2) capable of expressing ideas easily, 3) easily understood, 4) machine acceptable, 5) modular and, 6) capable of showing timing and control. It should also be: 1) independent of technology, 2) unrestricted to any particular structural feature such as serial processes, synchronous processes, etc., 3) concise, 4) precise, and 5) non-ambiguous. With regard to these features, the language presented here has a marked improvement over most of the other languages in that it is 1) multi-leveled, 2) modular, 3) capable of showing timing and control clearly, 4) unrestricted to any particular structural features, and 5) is easily understandable...Since this language is closely related to, and enhances flow table representation and can be used to express asynchronous operations, it is of significant value in bridging the now existing gap between digital system design and asynchronous sequential switching theory. The multi-level structuring of the language makes simulation and fault diagnosis easier on both the logic level and the functional level. This is due to the partitioning techniques of the language --Abstract, page ii-iii

SAGA: A project to automate the management of software production systems

The Software Automation, Generation and Administration (SAGA) project is investigating the design and construction of practical software engineering environments for developing and maintaining aerospace systems and applications software. The research includes the practical organization of the software lifecycle, configuration management, software requirements specifications, executable specifications, design methodologies, programming, verification, validation and testing, version control, maintenance, the reuse of software, software libraries, documentation, and automated management

Globular: an online proof assistant for higher-dimensional rewriting

This article introduces Globular, an online proof assistant for the formalization and verification of proofs in higher-dimensional category theory. The tool produces graphical visualizations of higher-dimensional proofs, assists in their construction with a point-and- click interface, and performs type checking to prevent incorrect rewrites. Hosted on the web, it has a low barrier to use, and allows hyperlinking of formalized proofs directly from research papers. It allows the formalization of proofs from logic, topology and algebra which are not formalizable by other methods, and we give several examples

Homology of the mapping class group for surfaces of genus 2 with boundary

We report on the computation of the integral homology of the mapping class group of genus g surfaces with one boundary curve and m punctures, when 2g + m is smaller than 6. In particular, it includes the genus 2 case with no or one puncture.Comment: This is the version published by Geometry & Topology Monographs on 29 April 200

The design and implementation of the programming language Natural

This paper reports progress on the development of the programming language Natural, currently under design by Dr. Thomas J. Sager at the University of Missouri--Rolla. Natural is a very high-level language with a mathematical flavor, and includes several concepts relatively uncommon in programming language design. The text also discusses an implementation on the IBM Personal Computer of Mini-Natural, a subset of Natural, and presents examples of programs written in Mini-Natural --Abstract, page ii