Philosophy of Computer Science

What Is a Procedure?

(Boldface items are particularly important or interesting.)

Last Update: 4 March 2010

Note: NEW or UPDATED material is highlighted


  1. The humorous examples from the "What Is an Algorithm?" website

  2. Cleland, Carol E. (1993), "Is the Church-Turing Thesis True?" Minds and Machines 3(3) (August): 283-312. [PDF]

  3. Cleland, Carol E. (1995), "Effective Procedures and Computable Functions", Minds and Machines 5(1): 9-23.

  4. Farkas, David K. (1999), "The Logical and Rhetorical Construction of Procedural Discourse" [PDF], Technical Communication 46(1) (February): 42-54.

  5. Cleland, Carol E. (2001), "Recipes, Algorithms, and Programs", Minds and Machines 11(2) (May): 219-237.

  6. Shapiro, Stuart C. (2001), "Computer Science: The Study of Procedures" [PDF]

  7. Cleland, Carol E. (guest ed.) (2002), Special Issue on Effective Procedures, Minds and Machines 12(2) (May).

  8. Cleland, Carol E. (2004), "The Concept of Computability", Theoretical Computer Science 317: 209-225.

  9. Preston, Beth (2006), "Ch.1: The Centralized Control Model of Production", from Preston, Beth (forthcoming), The Stuff of Life: Towards a Philosophy of Material Culture.

  10. Daly, Ian (2010), "Just Like Mombot Used to Make", NY Times, Dining section (24 February): D1, D5.




Copyright © 2004–2010 by William J. Rapaport (rapaport@buffalo.edu)
http://www.cse.buffalo.edu/~rapaport/584/whatisaprocedure.html-20100304