R J Orgass. "Radiation Damage in Power Transistors." Proceedings of the 1962 CERN-Brookhaven Conference on High Energy Accelerators. US Government Printing Office, 1962.
H Hahn and R J Orgass. "A Dynamic RF Phase Meter." Review of Scientific Instruments, Vol 34 (1963), pp. 406-408.
R J Orgass and F B Fitch. "A Theory of Computing Machines." Studium Generale, Vol 22 (1969), pp. 83-104.
R J Orgass and F B Fitch. "A Theory of Programming Languages." Studium Generale, Vol 22 (1969), pp. 113-136.
R J Orgass and W M Waite. "A Base of a Mobile Programming System." Communications of the ACM, Vol 12 (1969), pp. 507-510.
R J Orgass. "Some Results Concerning Proofs of Statements About Programs." Journal of Computer and System Science, Vol 4 (1970), pp. 74-88.
R J Orgass. "A Formal Theory of Programming: Where do we Stand?" Proceedings of the 1973 Princeton Conference, pp. 286-291.
R J Orgass. "APL in the Teaching of Computational Complexity." in P Gjerlov, H J Helsm, I Nielsen (Eds). APL Congress 73. Amsterdam, North-Holland, 1973.
R J Orgass. "Proofs of Statements About Programs." Seminars IRIA, 1974, pp. 187-200.
S L Gerhart and R J Orgass. "A Proposal for a Handbook for APL Program Verification." APL Quote Quad, Vol 5, No 4 (Winter 1974), pp. 79-86.
R J Orgass and Y H Teng. "A Structurer APL Compiler." Proceedings of the Third Milwaukee Symposium on Automatic Computation and Control, April 18-19, 1975, pp. 75-180.
R J Orgass. "Extended Basic Logic and Ordinal Numbers." in A R Anderson,R B Marcus and R M Martin (eds). The
Logical Enterprise. New Haven and London, Yale University Press, 1975, pp. 87-108.
R J Orgass. "Toward a Primitive Recursive Semantics for APL." Proceedings of APL 76, Ottawa, September 22-24, 1976, pp. 314-320.
R J Orgass. "Files in an Interactive Environment." Software Practice & Experience, Vol. 11 (1981), pp. 1265-1271.
R J Orgass. "The System R of Combinatory Logic and the System K' of Extended Basic Logic." Journal of Symbolic Logic, Vol 35 (1970), p. 354.
D E Britton, R B McLaughlin and R J Orgass. "A Note Concerning Intermittent Assertions." SIGACT News, Vol 9, No 2 (Summer 1977), pp. 30-45.
R J Orgass. "The 1977 APL Workshop: An Overview." APL Quote Quad, Vol 8, No 2 (December 1977), pp. 8-11.
R J Orgass. Calculation of Characteristic Exponents. Columbia University, Department of Electrical Engineering. June 1963.
R J Orgass. Computation of Fourier Series and Transforms. Grumman Aircraft Engineering Corporation Report ESCR-11, September 1964.
R J Orgass, H Schorr, W M Waite and M V Wilkes, WISP--A Self Compiling List Processing Language. Technical Report No 36, Basser Computing Department, University of Sydney, 1965. (Also issued by the University of Colorado and Columbia University.)
R J Orgass. A Computing Machine Model. General Electric Research and Development Center Report No 65-C-067, 1965.
R J Orgass. A Mathematical Theory of Computing Machine Structure and Programming, Volume I, Mathematical Foundations. General Electric Research and Development Center Report No 66-C-310, 1966.
R J Orgass. A Mathematical Theory of Computing Machine Structure and Programming, Volume II, A Computing Machine Model. General Electric Research and Development Center Report No 66-C-311, 1966.
R J Orgass. A Mathematical Theory of Computing Machine Structure and Programming. IBM Research Paper RC-2236, 1968. (Reprint of PhD Dissertation, Yale University, 1967.)
F B Fitch and R J Orgass. Minimal Logic and Computers, Chapter I, The Method of Subordinate Proofs. IBM Research Paper RC-2503, 1969.
F B Fitch and R J Orgass. Minimal Logic and Computers, Chapter II, Introductory Discussion. IBM Research Paper RC-2504, 1969.
R B Fitch and R J Orgass. Minimal Logic and Computers, Chapter III, Natural Deduction Rules for the System R (Part I). Department of Computer Science, Rutgers University, October 1974.
R J Orgass and Y H Teng. An Interactive Proof Checking Program. Technical Report No. CBM-TR-35, Department of Computer Science, Rutgers University, October 1974.
R J Orgass. "DEC10/APL Workshop." Report of the DECSystem-10 Fall 1975 DECUS Meeting, pp. 97-100. (December 1975)
R J Orgass. A Primitive Recursive Assertation Language and Semantics for APL (Preliminary Report). Technical Report No. APLTD2, Department of Computer Science, University of Arizona 1975.
R J Orgass. Structured DEC10/APL User's Manual. Technical Report No APLTD3, Department of Computer Science, University of Arizona, April 15, 1975.
R J Orgass. A DEC10/APL Workspace Listing Utility. Technical Memorandum No APLAD2, Department of Computer Science, University of Arizona, July 6, 1975.
R J Orgass. A Form Letter Generator. Technical Memorandum No. APLAD6, Department of Computer Science, University of Arizona, May 5, 1976.
R J Orgass. Discriminators in the System R. Technical Memorandum No CLG2, Department of Computer Science, University of Arizona, June 7, 1976.
R J Orgass. COLUMN: A Two-Column Document Processor. Technical Memorandum No APLAD7, Department of Computer Science, University of Arizona, July 5, 1976.
R J Orgass. A Consistent Combinatory Logic with Extensionality. Technical Report No CLG1a, Department of Computer Science, University of Arizona, December 10, 1976.
R J Orgass. Introduction to Searching and Sorting, Chapter I, Introduction. Technical Report No APLTD8a, Department of Computer Science, University of Arizona, December 10, 1976.
R J Orgass. Recommendation for Extensions to DEC10/APL. Technical Memorandum No. APLAD5, Department of Computer Science, University of Arizona, December 29, 1976.
R J Orgass. Macro Extensions to ACOLYTE. Technical Memorandum No. ALAD9, Department of Computer Science, University of Arizona, June 24, 1977.
R J Orgass and R B McLaughlin. A Formal Semantics and Implementation of APL (Partial Draft). Technical Report No. APLTD6, Department of Computer Science, University of Arizona, September 4, 1977. (Presented at STAPL/Syracuse University APL Workshop, September 27-30, 1977.)
R J Orgass. Concerning Namespaces for APL. Technical Memorandum No APLAD12, Department of Computer Science, University of Arizona, February 10, 1978.
R J Orgass and R B McLaughlin. A Formal Semantics and Implementation of APL, Chapter I, Introduction. Technical Report No. APLTD7, Department of Computer Science, University of Arizona, May 15. 1978.
K Rautenkranz and R J Orgass. Transfer of APL Workspaces: A Useful Solution. Technical Report No CS78-006-T, Department of Computer Science, Virginia Tech, September 1978.
R J Orgass. Concerning Classes Within Classes. Technical Memorandum No 79-1, Department of Computer Science, Graduate Program in Northern Virginia, Virginia Tech, January 15, 1979.
R J Orgass. Line Printer Spooling on an ASCII Terminal. Technical Memorandum No 79-2, Department of Computer Science, Graduate Program in Northern Virginia, Virginia Tech, April 12, 1979.
R J Orgass. DIALOG: A SIMULA Class for Writing Interactive Programs. Technical Memorandum No 79-3a, Department of Computer Science, Graduate Program in Northern Virginia, Virginia Tech, October 14, 1979.
S M Choquette and R J Orgass. CMS RATFOR System Manual. Technical Memorandum No 79-4, Department of Computer Science, Graduate Program in Northern Virginia, Virginia Tech, July 1, 1979.
S M Choquette and R J Orgass. CMS RATFOR User's Manual. Technical Memorandum No 79-5, Department of Computer Science, Graduate Program in Northern Virginia, Virginia Tech, July 1, 1979.
R J Orgass. CMS Software Notebook (First Edition). Technical Memorandum No 79-6, Department of Computer Science, Graduate Program in Northern Virginia, Virginia Tech, July 31, 1979.
R J Orgass. Converting DEC-10 SIMULA Programs to CMS SIMULA. Technical Memorandum No 79-7, Department of Computer Science, Graduate Program in Northern Virginia, Virginia Tech, August 3, 1979.
R J Orgass. Design for CMS SIMULA File System with 4 Character Sets. Technical Memorandum No 79-8a, Department of Computer Science, Graduate Program in Northern Virginia, Virginia Tech, November 5, 1979.
R J Orgass. Interim Scientific Report, AFOSR Grant 79-0021. Technical Memorandum No 80-2, Department of Computer Science, Graduate Program in Northern Virginia, Virginia Tech, February 15, 1980.
R J Orgass. LIBSIM: An Extension of the SIMULA Library. Technical Memorandum No 80-4, Department of Computer Science, Graduate Program in Northern Virginia, Virginia Tech, August 28, 1980.
R J Orgass. Tape Dump and Restore. Technical Memorandum No 80-5, Department of Computer Science, Graduate Program in Northern Virginia, Virginia Tech, August 28, 1980.
R J Orgass. SIMULA File Classes. Technical Memorandum No 80-6, Department of Computer Science, Graduate Program in Northern Virginia, Virginia Tech, October 8, 1980.
R J Orgass. Final Scientific Report, Grant AFOSR-79-0021. Technical Memorandum No 80-7, Department of Computer Science, Graduate Program in Northern Virginia, November 22, 1980.
R J Orgass. Report on the SIGPLAN Symposium on the Ada Programming Language, December 9-11, 1980. Technical Memorandum, Xerox Corporation, December 12, 1980.
R J Orgass. Generic Interfaces. Technical Memorandum, Xerox Corporation, April 24, 1981.
R J Orgass. Transitive Exports. Technical Memorandum, Xerox Corporation, May 5, 1981.
R J Orgass. Interface HeapString. Technical Memorandum, Xerox Corporation, June 18, 1981.
R J Orgass. A Mesa Applications Package. Technical Report, Xerox Corporation, November 1981.
R J Orgass. Alto DF Tool 1.0. Technical Memorandum, Xerox Corporation, June 30, 1982.
R J Orgass. DF Tool Operations Guide. Technical Report, Xerox Corporation, April 1983.
(Additional Xerox Private Data Technical Reports have been omitted.)
R J Orgass. Low-Level Programming Structure in Mesa. Xerox Corporation, June 1981. One-hundred-nine slides that describe and illustrate the elementary applications of procedures, records, modules, and interfaces as well as a survey of the services provided by the Mesa Development Environment.
R J Orgass. High-Level Structuring Tools in Mesa. Xerox Corporation, July 1981. One-hundred-twenty-nine slides that describe a programming style that effectively uses access rights, declarations of abstractions and their implementation, program modules, the environment's naming conventions, interface records and configurations.
R J Orgass. Object Oriented Programming in Mesa. Xerox Corporation, July 1981. One-hundred-sixty slides that describe and illustrate a number of implementations of multiple-instance objects, and generic objects and provide a view of the design methodology implied by the design of the Mesa Development Environment.
Abstracts and Short Notes
,/a>
R J Orgass and F B Fitch. "A Theory of Programming Languages." Journal of Symbolic Logic, Vol 35 (1970), p. 345.
Technical Reports
(Note that technical reports that are preliminary versions of published
material have been deleted from this list.)
Collection Edited
R J Orgass (ed). Mesa Course Handouts. Technical Report, Xerox Corporation, June 1981. A collection of technical reports and memoranda by a variety of authors that describe various aspects of Mesa Programming, Mesa Programming System and Advanced Mesa Programming Techniques.
Course Slides
R J Orgass. Mesa in the Small. Xerox Corporation, June 1981. Eighty-two slides that describe low-level programming in Mesa including examples.
Xerox Private Data and IBM Confidential reports have been omitted.