MSc in Logic

MSc in Logic (2009)

Cached

Download Links

by Karel Van Oudheusden , Alias Edgar G. Daylight

BibTeX

@MISC{Oudheusden09mscin,
    author = {Karel Van Oudheusden and Alias Edgar G. Daylight},
    title = {MSc in Logic},
    year = {2009}
}

Bookmark

OpenURL

Abstract

are reaching the stage of development where each new generation

Citations

1310	A Discipline of Programming - Dijkstra - 1976
1219	An axiomatic basis for computer programming - Hoare - 1969
914	On computable numbers, with an application to the ”Entscheidungsproblem - Turing - 1936
504	Assigning meanings to programs - FLOYD - 1967
352	Computation: Finite and Infinite Machines - Minsky - 1967
301	Recursive functions of symbolic expressions and their computation by machine, part I - McCarthy - 1960
92	Computability and Unsolvability - Davis - 1958
63	The Syntax and Semantics of the Proposed International Algebraic Language of the Zurich - Backus - 1959
57	General recursive functions of natural numbers, Mathematische Annalen 112 - Kleene - 1936
49	Structured programming with go to statements - Knuth - 1974
47	The emperor’s old clothes - Hoare - 1981
39	The logic theory machine - Newell, Simon - 1956
33	A Syntax Directed Compiler for ALGOL 60 - Irons - 1961
24	Programming Languages: History and Fundamentals - Sammet - 1969
23	On folk theorems - Harel - 1980
21	Thunks—a way of compiling procedure statements with some comments on procedure declarations - Ingerman - 1961
19	From Airline Reservations to Sonic the Hedgehog: A History of the Software Industry - Campbell-Kelly - 2003
16	Basis for a Mathematical Theory of Computation,” Computer Programming and Formal Systems. Edited by P. Braffort - McCarthy - 1963
16	ALGOL-like Languages - O’Hearn, Tennent, et al. - 1997
11	Empirical Explorations of the Logic Theory Machine: A Case Study in Heuristics - Newell, Shaw, et al. - 1957
11	Introduction to the Theory - Sipser - 2006
10	Engines of Logic: Mathematicians and the Origin of the Computer - Davis - 2001
9	Observational equivalence of 3rd-order Idealized Algol is decidable - Ong
9	Portraits in Silicon - Slater - 1992
7	Recursive Programs as Functions in a First Order Theory - Cartwright, McCarthy - 1979
7	Two families of languages related to - Ginsburg, Rice - 1962
6	A short introduction to the art of programming - Dijkstra - 1971
6	A History of Computing - Metropolis, Howlett, et al. - 1980
6	Programming systems and languages - Rosen - 1965
5	Go to statement considered harmful (letter to the editor - Dijkstra - 1968
5	Correctness concerns and, among other things, why they are resented’, Invited paper, to be presented at - Dijkstra, EWD450 - 1975
5	Quicksort: Algorithm 64 - Hoare - 1961
5	The European side of the last phase of the development of ALGOL60 - Naur - 1981
5	Description of ALGOL 60 (Handbook for Automatic Computation Vol - RUTISHAUSER - 1967
4	Syntactic structures. Walter de Gruyter - Chomsky - 2002
4	The structure of formula-translators - Lucas - 1961
4	Proofs of algorithms by - Naur - 1969
4	Recursion and Iteration - Rice - 1965
4	Out Of Their Minds: The Lives and - Shasha, Lazere - 1995
3	The History of the ALGOL Effort - Beer - 2006
3	Calculatrices digitales: Du déchiffrage de formules logicomathématiques par la machine même dans la conception du programme [Digital computers: On the deciphering of logical-mathematical formulae by the machine itself during the conception of the program] - Böhm - 1954
3	EWD1308: What led to “Notes on Structured Programming - Dijkstra - 2002
3	Backus normal form vs - Knuth - 1964
3	Computer Pioneers - Lee - 1995
3	Those who forget the lessons of history are doomed to repeat it: or, Why I study the history of computing - Lee - 1996
3	The histories of computing(s - Mahoney - 2005
3	Inversion of Functions Defined by Turing Machines,” Automatic Studies - McCarthy - 1956
3	Über automatische Rechenplanfertigung bei programmgesteuerten Rechenanlagen - Rutishauser - 1951
3	The ALCOR project - Samelson, Bauer - 1962
2	et al, Edited by P. Naur, ‘Report on the algorithmic language ALGOL60 - Backus - 1960