Search
Now showing items 1-10 of 76
Interval Arithmetic for the Burroughs B5500: Four Algol Procedures and Proofs of Their Correctness
(University of Wisconsin-Madison Department of Computer Sciences, 1968)
Four Algol procedures for interval add, subtract, multiply and divide are presented. Also included are proofs that each is correct according to theory developed in the first part of the paper.
BIBCON: A 3600 Program for Producing Concordances to Prose, Poetry and Bibliographic References
(University of Wisconsin-Madison Department of Computer Sciences, 1969)
A Note on the Eigenvalue Problem with Sublinear Hammerstein Operations
(University of Wisconsin-Madison Department of Computer Sciences, 1969)
On the Approximate Minimization of Functionals
(University of Wisconsin-Madison Department of Computer Sciences, 1968)
The Autoling System
(University of Wisconsin-Madison Department of Computer Sciences, 1968)
The AUTOLING system represents an attempt to replace the human linguist with a machine in the process of linguistic fieldwork with an informant. To the extent that the attempt succeeds, the analytic and heuristic methodology ...
A Self-Directing Teaching Program That Generates Simple Arithmetic Problems
(University of Wisconsin-Madison Department of Computer Sciences, 1968)
This paper describes a digital computer program (COACH) written in extended Algol that is currently operating on the Burroughs B550O. The program automatically (1)generates its own problems in simple arithmetic, (2)evaluates ...
On Newton-Like Methods
(University of Wisconsin-Madison Department of Computer Sciences, 1968)
A Semantic Theory Based Upon Interactive Meaning
(University of Wisconsin-Madison Department of Computer Sciences, 1969)
When words are combined to form an expression, very often the expression means more than just the sum of the meaning of its constituents. The extra semantic information that the expression carries is semantic interaction ...
Stability Analysis in Discrete Mechanics
(University of Wisconsin-Madison Department of Computer Sciences, 1969)
Bibliography on Proving the Correctness of Computer Programs
(University of Wisconsin-Madison Department of Computer Sciences, 1969)