Yaq: A 360 Assembler Version of the Algorithm Aq and Comparison with Other Pl/I Programs
Department of Computer Science, University of Illinois at Urbana-Champaign (1977)
|Abstract||This article has no associated abstract. (fix it)|
|Keywords||AQUAL/I (AQ7) (Computer program IBM360 (Computer Programming PL/I (Computer program language|
|Categories||categorize this paper)|
|Call number||QA9.45.I4 no. 840|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Deductive Program Verification (a Practitioner's Commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
Program Verification, Defeasible Reasoning, and Two Views of Computer Science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
Human and Machine Logic: A Rejoinder.John R. Lucas - 1967 - British Journal for the Philosophy of Science 19 (August):155-6.
Programs, Bugs, DNA and a Design Argument.Alexander R. Pruss - 2009 - In Yujin Nagasawa & Erik J. Wielenberg (eds.), New Waves in Philosophy of Religion. Palgrave-Macmillan.
Computer Implication and the Curry Paradox.Wayne Aitken & Jeffrey A. Barrett - 2004 - Journal of Philosophical Logic 33 (6):631-637.
Programs, Bugs, DNA and a Design Argument Alexander R. Pruss May 27, 2004.Alexander Pruss - manuscript
Universe Creation on a Computer.Gordon McCabe - 2005 - Studies in History and Philosophy of Science Part B 36 (4):591-625.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?