D. C. Luckham, D. M. R. Park, and M. S. Paterson. On formalised computer programs. Journal of computer and system sciences, vol. 4 , pp. 220–249 [Book Review]

Journal of Symbolic Logic 39 (2):347 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272689

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: D. C. Luckham, D. M. R. Park, M. S. Paterson, On Formalised Computer Programs. [REVIEW]D. C. Cooper - 1974 - Journal of Symbolic Logic 39 (2):347-347.
On teaching computer ethics within a computer science department.Michael J. Quinn - 2006 - Science and Engineering Ethics 12 (2):335-343.
Jeffrey D. Ullman. Principles of database systems. Second edition. Computer software engineering series. Computer Science Press, Rockville, Md., 1982, vii + 484 pp. - David Maier. The theory of relational databases. Computer Science Press, Rockville, Md., 1983, xv + 637 pp. - Ashok K. Chandra and David Harel. Computable queries for relational data bases. Journal of computer and system sciences, vol. 21 , pp. 156–178. [REVIEW]J. A. Makowsky - 1986 - Journal of Symbolic Logic 51 (4):1079-1084.
Blum E. K.. Towards a theory of semantics and compilers for programming languages. Journal of computer and system sciences, vol. 3 , pp. 248–275. [REVIEW]David Park - 1975 - Journal of Symbolic Logic 40 (3):470-471.
YAQ: a 360 assembler version of the algorithm Aq and comparison with other PL/I programs.Edward Yalow - 1977 - Urbana: Department of Computer Science, University of Illinois at Urbana-Champaign.
Are computer simulations experiments? And if not, how are they related to each other?Claus Beisbart - 2018 - European Journal for Philosophy of Science 8 (2):171-204.
Review: J. A. Robinson, Theorem-Proving on the Computer. [REVIEW]David Luckham - 1966 - Journal of Symbolic Logic 31 (3):514-515.
Toward computer-aided induction: a brief review of currently implemented AQVAL programs.Ryszard Stanisław Michalski - 1977 - Urbana: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 , pp. 194–211. - Krister Segerberg. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at Stefan Banach International Mathematical Center at the semester “Universal algebra and applications” held February 15–June 9, 1978, edited by Tadeuz Traczyk, Banach Center Publications, vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, pp. 31–46. - Rohit Parikh. The completeness of propositional dynamic logic. Mathematical foundations of computer science 1978, Proceedings, 7th symposium, Zakopane, Poland, September 4–8, 1978, edited by J. Winkowski, Lecture notes in computer science, vol. 64, Springe. [REVIEW]Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.
An Intelligent Tutoring System for Learning Introduction to Computer Science.Ahmad Marouf, Mohammed K. Abu Yousef, Mohammed N. Mukhaimer & Samy S. Abu-Naser - 2018 - International Journal of Academic Multidisciplinary Research (IJAMR) 2 (2):1-8.
Computers, information and ethics: A review of issues and literature. [REVIEW]Dr Carl Mitcham - 1995 - Science and Engineering Ethics 1 (2):113-132.
Dualna natura programów komputerowych.Izabela Bondecka-Krzykowska - 2017 - Semina Scientiarum 16:24-42.
J. A. Robinson. Theorem-proving on the computer. Journal of the Association for Computing Machinery, vol. 10 , pp. 163–174. [REVIEW]David Luckham - 1966 - Journal of Symbolic Logic 31 (3):514-515.
A Philosophy of Computer Art.Dominic Lopes - 2009 - New York: Routledge.
Minds, brains, and programs.John Searle - 1980 - Behavioral and Brain Sciences 3 (3):417-57.

Analytics

Added to PP
2016-06-30

Downloads
19 (#753,814)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references