We look at Donald Knuth's concept of \Literate Programming," investigating exactly what it is and how it is used to assist conventional programmers. We then ask what lessons we can learn from this idea and if it is possible to apply them to Forth. We look at the alterations needed to the system and/or Forth to allow us to take advantage of this system. Indeed do we obtain all of the advantages ...

If you ask most medical school deans if they have a course, program, or center doing bioethics, they will enthusiastically assure you that they do. And their enthusiasm for bioethics grows exponentially in proportion to their interest in showing that they are doing something about managing research ethics issues at their institutions. The same can be said about the entire biomedical research es...

The UFO will form a combination of CPU and operating system technology, namely a stackmachine CPU core, and a Forth operating system. However both of these components will have novel properties, in that a scaleable target instance can be generated, according to a trade-off between gate-count, speed, power, and computational performance. Simpler machines can emulate more complex ones, but at the...

Over the last couple of years several papers have been presented attempting to bring formal methods to Forth, or applying formal methods to Forth. This paper brings together many of these ideas and suggests a method by which they could be integrated into a single formally speci ed and implemented Forth programming environment. Much of the theoretical work described in this paper exists in some ...

A notation for probabilities is proposed that differs from the traditional, conventional notation by making explicit the domains and bound variables involved. The notation borrows from the Z notation, and lends itself well to calculational manipulations, with a smooth transition back and forth to set and predicate notation.