Problems in the ontology of computer programs

Applied Ontology

Volumn 1, Issue , 2007, Pages 13-36

  Eden, Amnon H ^a,b   Turner, Raymond ^a  

^a UNIVERSITY OF ESSEX   (United Kingdom)

^b Center for Inquiry   (United States)

Author keywords

Philosophy of computer science; Science of software design; Software ontology

Indexed keywords

EID: 85013612416     PISSN: 15705838     EISSN: 18758533     Source Type: Journal    
DOI: None     Document Type: Article

References (26)

1. Colburn, T.R. (2003). Philosophy and Computer Science. Armonk: M.E. Sharpe.
2. Cormen, T.H., Leiserson, C.E., & Rivest, R.L. (1990). Introduction to Algorithms. Cambridge: MIT Press.
3. Craig, I. (2000). The Interpretation of Object-Oriented Programming Languages. New York: Springer-Verlag.
4. Eden, A.H. Hirshfeld, Y., & Kazman, R. (2006). Abstraction classes in software design. IEE Software, 153(4), pp. 163-182. London, UK: The Institution of Engineering and Technology.
5. Eden, A.H., & Turner, R. (2005). Towards an ontology of software design: The intension/locality hypothesis. In 3rd European Conf. Computing And Philosophy-ECAP (2-4 Jun.), Västerås, Sweden.
6. Fetzer, J.H. (1988). Program verification: the very idea. Communications of the ACM, 31(9), 1048-1063.
7. Fielding, J.M., Simon, J., Ceusters, W., & Smith, B. (2004). Ontological theory for ontological engineering. In Proc. 9th Int’l Conf. Principles of Knowledge Representation and Reasoning-KR2004 (2-5 Jun.), Whistler, BC.
8. Floridi, L. (2004). Information. In L. Floridi (Ed.), The Blackwell Guide to Philosophy of Computing and Information (pp. 40-62). Malden: Blackwell.
9. Gamma, E., Helm, R., Johnson, R., & Vlissides, J. (1995). Design Patterns: Elements of Reusable Object-Oriented Software. Reading: Addison-Wesley.
10. Garlan, D., & Shaw, M. (1993). An introduction to software architecture. In V. Ambriola & G. Tortora (Eds.), Advances in Software Engineering and Knowledge Engineering, Series on Software Engineering and Knowledge Engineering (Vol. 2, pp. 1-39), World Scientific Publishing Company: Singapore.
11. Gibbs, W. (1994). Software’s chronic crisis. Scientific American, (Sep.), 86-95.
12. Goldberg, A., & Robson, D. (1983). Smalltalk-80: The Language and Its Implementation. Reading: Addison-Wesley.
13. Gosling, J., Joy, B., & Steele, G. (1996). The Java Language Specification (1st ed.). Reading: Addison Wesley. Available http://java.sun.com/docs/books/jls/first_edition/html/index.html.
14. Ingarden, R. (1989). The Ontology of the Work of Art. [Translated by R. Meyer with John T. Goldthwait]. Athens: Ohio University Press.
15. Jensen, K., & Wirth, N. (1974). PASCAL-User Manual and Report: ISO Pascal Standard. Springer-Verlag.
16. Martin, J.C. (1996). Introduction to Languages and the Theory of Computation. Boston: McGraw Hill.
17. McCarthy, J. (1960). Recursive functions of symbolic expressions and their computation by machine, Part I. Communications of the ACM, 3(4), 184-195.
18. McLaughlin, B. (2004). Computationalism, connectionism, and the philosophy of mind. In L. Floridi (Ed.), The Blackwell Guide to Philosophy of Computing and Information (pp. 135-152). Malden: Blackwell.
19. van Orman Quine, W. (1961). On what there is. In From a Logical Point of View (pp. 1-19). Cambridge: Harvard University Press.
20. Smith, B. (2004). Ontology. In L. Floridi (Ed.), The Blackwell Guide to Philosophy of Computing and Information (pp. 155-166). Malden: Blackwell.
21. Smith, B., Mejino Jr., J.L.V., Schulz, S., Kumar, A. & Rosse, C. (2005). Anatomical information science. In A.G. Cohn & D.M. Mark (Eds.), Spatial Information Theory (pp. 149-164). Proc. COSIT (Lecture Notes in Computer Science), Berlin: Springer.
22. Stoy, J.E. (1977). Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. Cambridge: MIT Press.
23. Turner, R. (2005). The foundations of specification. Journal of Logic and Computation, 15(5), 623-663. (Also: Technical Reports CSM-397 and CSM-398, Department of Computer Science, University of Essex.)
24. Turner, R., & Eden, A.H. (2007). Towards a programming language ontology. In G. Dodig-Crnkovic, & S. Stuart (Eds.), Computing, Philosophy, and Cognitive Science. Cambridge: Cambridge Scholars Press.
25. Wheeler, J.A. (1991). Information, physics, quantum: the search for links. In W.H. Zurek (Ed.), Complexity, Entropy, and the Physics of Information. Redwood: Addison-Wesley.
26. Wirfs-Brock, R., Wilkerson, B., & Wiene, L. (1990). Designing Object Oriented Software. Upper Saddle River: Prentice Hall PTR.