Programming Languages

by B. Wegbreit

@MISC{Wegbreit_programminglanguages,
    author = {B. Wegbreit},
    title = {Programming Languages},
    year = {}
}

182	A basis for a mathematical theory of computation - McCarthy - 1963
173	Mathematical Theory of Computation - MANNA - 1974
81	Proving properties of programs by structural induction - Burstall - 1969
80	Correctness of a compiler for arithmetic expressions - McCarthy, Painter - 1967
77	Procedures and parameters: An axiomatic approach - Hoare - 1971
44	Proving theorems about Lisp functions - Boyer, Moore - 1975
37	Complexity of synthesizing inductive assertions - Wegbreit - 1975
24	Inductive methods for proving properties of programs - Manna, Ness, et al. - 1973
19	The new math of computer programming - Mills - 1975
18	An interactive program verification system - Good, London, et al. - 1975
16	Automatic program verification I: A logical basis and its implementation - Igarishi, London, et al. - 1975
9	Formalization of properties of functional programs - Manna, Pnueli - 1970
7	Reasoning about programs - Waldinger, Levitt - 1974
6	Proving loop programs - Basu, Misra - 1975
4	Interactive program verification using virtual programs - Topor - 1975
2	Mathematical theory of partial correctness - Manna - 1971
1	Assigning meanings to programs. Moth - Floyd - 1967
1	Introducing prog into the pure lisp theorem prover. CSL-74-3, Xerox Palo Alto Res - Moore - 1974