WorldCat Identities

Mills, Harlan D. 1919-

Overview
Works: 34 works in 83 publications in 2 languages and 1,898 library holdings
Genres: Conference proceedings  Records (Sports) 
Classifications: QA76.6, 658.4038
Publication Timeline
Key
Publications about  Harlan D Mills Publications about Harlan D Mills
Publications by  Harlan D Mills Publications by Harlan D Mills
posthumous Publications by Harlan D Mills, published posthumously.
Most widely held works by Harlan D Mills
Structured programming, theory and practice by Richard C Linger ( Book )
12 editions published between 1979 and 1995 in English and held by 557 WorldCat member libraries worldwide
Precision programming. Elements of logical expression. Elements of program expression. Structured programs. Reading structured programs. The correctness of structured programs. Writing structured programs
Computer information systems development : analysis and design by David R Adams ( Book )
5 editions published between 1984 and 1985 in English and held by 372 WorldCat member libraries worldwide
Principles of information systems analysis and design by Harlan D Mills ( Book )
12 editions published between 1986 and 1989 in English and held by 358 WorldCat member libraries worldwide
Software productivity by Harlan D Mills ( Book )
9 editions published between 1983 and 1988 in English and held by 280 WorldCat member libraries worldwide
In retrospect. Search for an easier, simpler way (1968). The iterative IF as a primitive instruction (1967). Programmer productivity through individual responsibility (1968). The case against GO TO statements in PL/I (1969). The New York Times Thesaurus of Descriptors (1969). A structural description of the New York Times Thesaurus of Descriptors (1969). Measurements of program complexity (1969). Chief programmer teams: techniques and procedures (1970). On the statistical validation of computer programs (1970). OS/360 programming. Top down programming in large systems (1970). Programming techniques: from private art to public practice (1970). Mathematical foundations for structured programming (1972). Reading programs as a managerial activity (1972). How to buy quality software (1974). How to write correct programs and know it (1975). The new math of computer programming (1975). Software development (1976). Software engineering education (1980). Software productivity in the enterprise (1981). Index
Principles of computer programming : a mathematical approach ( Book )
7 editions published between 1987 and 1988 in English and held by 178 WorldCat member libraries worldwide
Science and engineering for software development a recognition of Harlan D. Mills' legacy : proceedings : Los Angeles, California, May 18, 1999 by Science and Engineering for Software Development ( )
3 editions published between 1999 and 2000 in English and held by 83 WorldCat member libraries worldwide
Player win averages; a computer guide to winning baseball players by Eldon G Mills ( Book )
3 editions published in 1970 in English and held by 20 WorldCat member libraries worldwide
Het groot Pascal spreuken boek by Henry F Ledgard ( Book )
1 edition published in 1982 in Dutch and held by 11 WorldCat member libraries worldwide
Regels voor het maken van zorgvuldig geconstrueerde, leesbare programma's
Mathematical foundations for structured programming by Harlan D Mills ( Book )
2 editions published in 1972 in English and held by 6 WorldCat member libraries worldwide
Stochastic properties of elementary logistic components by Harlan D Mills ( Book )
2 editions published in 1959 in English and held by 5 WorldCat member libraries worldwide
Structures in logistics operations by Harlan D Mills ( Book )
1 edition published in 1959 in English and held by 4 WorldCat member libraries worldwide
Swapping sections by David Gries ( Book )
2 editions published in 1981 in English and held by 3 WorldCat member libraries worldwide
Understanding and documenting programs by Victor R Basili ( Book )
2 editions published in 1980 in English and held by 3 WorldCat member libraries worldwide
This paper reports on an experiment in trying to understand an unfamiliar program of some complexity and to record the authors' understanding of it. The goal was to simulate a practicing programmer in a program maintenance environment using the techniques of program design adapted to program understanding and documentation; that is, given a program, a specification and correctness proof were developed for the program. The approach points out the value of correctness proof ideas in guiding the discovery process. Toward this end, a variety of techniques were used: direct cognition for smaller parts, and functions determined by additional analysis for larger program parts. An indeterminate bounded variable was introduced into the program to summarize the effect of several program variables and simplify the proof of correctness. (Author)
Computer information systems development : analysis and design by Michael J Powers ( Book )
1 edition published in 1984 in English and held by 1 WorldCat member library worldwide
The impact of structured programming on software engineering and production: ( Book )
1 edition published in 1973 in English and held by 1 WorldCat member library worldwide
Equivalent functions of strategies in the theory of games ... by Harlan D Mills ( Book )
1 edition published in 1952 in English and held by 1 WorldCat member library worldwide
The Calculus of computer programming ( Book )
1 edition published in 1982 in English and held by 1 WorldCat member library worldwide
1963 studies on effect of 2,4,5-TP on yield and quality of early Italian prunes by Edward L Proebsting ( Book )
1 edition published in 1964 in English and held by 1 WorldCat member library worldwide
Chief programmers teams by Terry Baker ( )
1 edition published in 1973 in English and held by 1 WorldCat member library worldwide
Software, Programmiersprache, Betriessystem (EDV)
Mathematics and the managerial imagination by Harlan D Mills ( Book )
1 edition published in 1959 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.64 (from 0.00 for The Calcul ... to 1.00 for Mathematic ...)
Alternative Names
Mills, Ch.
Mills, H. D.
Mills, H. D. (Harlan D.), 1919-
Миллс, Х., 1919-
هارلان ميلز، 1919-
Languages
English (67)
Dutch (1)
Covers