Goldstine, H. H. and von Neumann, J. Planning and Coding of Problems for an Electronic Computing Instrument. Institute for Advanced Study, Princeton, NJ, 1947, (3 vols.).  Home/Search   Document Not in Database   Summary   Related Articles   Check

....is defined in the same text to mean the visualisation of the higher level abstractions which describe software , which is what this thesis is about. Program visualisation, the visualisation of actual program code and constructs, has been used since the early days of computer programming [Goldstine and von Neumann, 1947], and algorithm visualisation and animation have been around for about twenty years. A very influential piece of work in this field is Sorting out Sorting [Baecker and Sherman, 1981] which aims to visualise sorting algorithms for educational purposes. More general purpose vi sualisation ....

H. Goldstine and J. von Neumann. Plan- ning and coding problems of an electronic computing instrument. In A. Taub, editor, yon Neumann, J., Collected Works. Macmillan, 1947.

....no means an exhaustive survey of the whole scientific field. Rather, we simply intend to provide a detailed account of related work, with an emphasis on mechanical program proving. Our work has built on the work of many others. Of historic interest is the early work of Turing [51] and von Neumann [20]. In the classic paper of Goldstine and von Neumann, we find discussed the specification and correctness proofs for fifteen programs at the machine code level. Perhaps these were the earliest writings on program proving. Methods for program proving have been advanced by McCarthy [39] Floyd [19] ....

Herman H. Goldstine and John von Neumann. Planning and coding problems for an electronic computing instrument. In John von Neumann, Collected Works, volume V, pages 34--235. Pergamon Press, Oxford, 1961.

....of confidence in computing systems is the lack of mathematical theories to forecast accurately the behavior of computing systems. The idea of providing a rigorous mathematical basis for programming dates back to the very beginning of computing. In the classic papers of von Neumann and Goldstine [5], which introduced the first von Neumann machine, they described how to prove the correctness of machine code programs. Fifteen machine code programs are there specified, coded, and proved correct. Later, methods for proving the correctness of programs written in higher level programming ....

Herman H. Goldstine and John von Neumann. Planning and coding problems for an electronic computing instrument. In John von Neumann, Collected Works, volume V, pages 34 235. Pergamon Press, Oxford, 1961.

....no means an exhaustive survey of the whole scientific field. Rather, we simply intend to provide a detailed account of related work, with an emphasis on mechanical program proving. Our work has built on the work of many others. Of historic interest is the early work of Turing [51] and von Neumann [20]. In the classic paper of Goldstine and von Neumann, we find discussed the specification and correctness proofs for fifteen programs at the machine code level. Perhaps these were the earliest writings on program proving. Methods for program proving have been advanced by McCarthy [39] Floyd [19] ....

Herman H. Goldstine and John von Neumann. Planning and coding problems for an electronic computing instrument. In John von Neumann, Collected Works, volume V, pages 34--235. Pergamon Press, Oxford, 1961.

....is by no means an exhaustive survey of the whole scientific field. Rather, we provide a brief account of related work, with an emphasis on mechanical program proving. Our work has built on the work of many others. Of historic interest is the early work of Turing [28] and Goldstine and von Neumann [12]. The careful proof of machine code programs is coincident with the foundations of the von Neumann machine, first presented in [12] In those classic papers of von Neumann and Goldstine, we find discussed the specification and correctness proofs for fifteen programs at the machine code level. ....

....on mechanical program proving. Our work has built on the work of many others. Of historic interest is the early work of Turing [28] and Goldstine and von Neumann [12] The careful proof of machine code programs is coincident with the foundations of the von Neumann machine, first presented in [12]. In those classic papers of von Neumann and Goldstine, we find discussed the specification and correctness proofs for fifteen programs at the machine code level. Proving the correctness of programs written in the assembly language MIX is a main feature of Knuth s magnum opus [18] The informal, ....

Herman H. Goldstine and John von Neumann. Planning and coding problems for an electronic computing instrument. In John von Neumann, Collected Works, volume V, pages 34--235. Pergamon Press, Oxford, 1961.

....is by no means an exhaustive survey of the whole scientific field. Rather, we provide a brief account of related work, with an emphasis on mechanical program proving. Our work has built on the work of many others. Of historic interest is the early work of Turing [50] and Goldstine and von Neumann [19]. The latter paper discusses the specification and correctness proofs for fifteen programs at the machine code level. Perhaps these were the earliest writings on program proving. Methods for program proving have been advanced most notably by McCarthy [38] Floyd [18] and Hoare [22] In the last ....

Herman H. Goldstine and John von Neumann. Planning and coding problems for an electronic computing instrument. In John von Neumann, Collected Works, volume V, pages 34--235. Pergamon Press, Oxford, 1961.

....of confidence in computing systems is the lack of mathematical theories to forecast accurately the behavior of computing systems. The idea of providing a rigorous mathematical basis for programming dates back to the very beginning of computing. In the classic papers of von Neumann and Goldstine [12], which introduced the first von Neumann machine, they described how to prove the correctness of machine code programs. Fifteen machine code programs are there specified, coded, and proved correct. Later, methods for proving the correctness of programs written in higher level programming ....

Herman H. Goldstine and John von Neumann. Planning and coding problems for an electronic computing instrument. In John von Neumann, Collected Works, volume V, pages 34--235. Pergamon Press, Oxford, 1961.

....writing axioms in some logical system. First order logic, or some variant of it, is the most popular, since this is the logical system most widely used in mathematics and its foundations. An axiomatic approach using assertions and invariants was pioneered by Alan Turing [26] and John von Neumann [12], and later made more formal by Robert Floyd [5] and Tony Hoare [15] By contrast, denotational approaches build mathematical models of programming language features; these models are called denotations. For example, the denotation of a program might be a partial function from inputs to outputs. ....

Herman Goldstine and John von Neumann. Planning and coding of problems for an electronic computing instrument. In A. Traub, editor, Collection Works of J. von Neumann, pages 80--151. Pergamon, 1949. Originally, a report of the U.S. Ordinance Department.

No context found.

Goldstine, H. H. and von Neumann, J. Planning and Coding of Problems for an Electronic Computing Instrument. Institute for Advanced Study, Princeton, NJ, 1947, (3 vols.).

No context found.

H.H. Goldstine and J. von Neumann. Planning and coding of problems for an electronic computing instrument. In A.H. Taub, editor, J. von Neumann: Collected Works, pages 80--151. Pergamon Press, 1963.

No context found.

H. H. Goldstine and J von Neumann. Planning and coding problems for an electronic computing instrument. In John von Neumann, Collected Works, Volume V. Pergamon Press, Oxford, 1961.

No context found.

H. H. Goldstine and J. von Neumann. Planning and coding of problems for an electronic computing instrument, 1947. Part II, Vol. 1 of a Report prepared for U.S. Army Ord. Dept.; republished as pages 80--151 of [Tau63].

No context found.

J. von Neumann and H. Goldstine, Planning and coding of problems for an electronic computing instrument, Institute for Advanced Study, Princeton, N.J. (3 vols.), 1947--1948. Reprinted in von Neumann's Collected Works (A. Taub, ed.), vol. 5, Pergamon Press, Oxford, 1963.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC