WorldCat Identities

Mills, Harlan D. 1919-

Overview
Works: 34 works in 89 publications in 3 languages and 1,881 library holdings
Genres: Conference proceedings  Records (Sports) 
Roles: Author
Classifications: QA76.6, 658.4038
Publication Timeline
.
Most widely held works by Harlan D Mills
Structured programming, theory and practice by Richard C Linger( Book )

15 editions published between 1979 and 1995 in English and held by 539 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 Harlan D Mills( Book )

7 editions published between 1984 and 1985 in English and held by 354 WorldCat member libraries worldwide

Principles of information systems analysis and design by Harlan D Mills( Book )

13 editions published between 1986 and 1989 in English and held by 349 WorldCat member libraries worldwide

Software productivity by Harlan D Mills( Book )

10 editions published between 1983 and 1988 in English and held by 271 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 )

8 editions published between 1987 and 1988 in English and held by 178 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 10 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

Teorija i praktika strukturnogo programmirovanija. (Theorie et pratique de la programmation structuree) by Richard C Linger( Book )

3 editions published in 1982 in Russian and held by 2 WorldCat member libraries worldwide

Understanding and documenting programs by Victor R Basili( Book )

1 edition published in 1980 in English and held by 2 WorldCat member libraries worldwide

Equivalent functions of strategies in the theory of games ... by Harlan D Mills( )

1 edition published in 1952 in English and held by 2 WorldCat member libraries worldwide

Chief programmers teams by F. Terry Baker( )

1 edition published in 1973 in English and held by 1 WorldCat member library worldwide

Software, Programmiersprache, Betriessystem (EDV)
The Calculus of computer programming( Book )

1 edition published in 1982 in English and held by 1 WorldCat member library worldwide

Understanding and Documenting Programs( Book )

1 edition published in 1980 in English and held by 1 WorldCat member library 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

Applications of statistical methodology to arms control and disarmament. sections iii and v( Book )

1 edition published in 1963 in English and held by 1 WorldCat member library worldwide

Chief Programmer Teams by F. Terry Baker( Book )

1 edition published in 1973 in Undetermined and held by 1 WorldCat member library worldwide

Proceedings, science and engineering for software development : a recognition of Harlan D. Mills' legacy, Los Angeles, California, May 18, 1999 by SESD'99( )

1 edition published in 1999 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.48 (from 0.33 for Computer i ... to 1.00 for Understand ...)

Software productivity
Alternative Names
Harlan Mills amerikanischer Informatiker

Harlan Mills amerikansk ingenir

Harlan Mills amerikansk ingenjr

Mills, Ch.

Mills, H. D.

Mills, H. D. 1919-

Mills, H. D. (Harlan D.), 1919-

Миллс, Х 1919-

هارلان ميلز، 1919-

هارلن میلز مهندس آمریکایی

Languages
English (69)

Russian (3)

Dutch (1)

Covers