论文信息 - To What Extent can or must Computations be Parallelized - 字舞流文

To What Extent can or must Computations be Parallelized

Mariangiola Dezani-Ciancaglini | Corrado Böhm | M. Dezani-Ciancaglini | C. Böhm

[1] C. Berge. Graphes et hypergraphes , 1970 .

[2] Harold S. Stone,et al. A Parallel Algorithm for the Efficient Solution of a General Class of Recurrence Equations , 1973, IEEE Transactions on Computers.

[3] Joseph Henry Wegstein,et al. AXLE2: an axiomatic language for string transformations , 1965, CACM.

[4] John McCarthy,et al. Recursive functions of symbolic expressions and their computation by machine, Part I , 1960, Commun. ACM.

[5] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .

[6] Donald E. Knuth,et al. Examples of formal semantics , 1971, Symposium on Semantics of Algorithmic Languages.

[7] Jean Vuillemin,et al. Correct and optimal implementations of recursion in a simple programming language , 1973, J. Comput. Syst. Sci..

[8] Zohar Manna,et al. Inductive methods for proving properties of programs , 1972 .