Richard J. Orgass

Publication Activity (10 Years)

Years Active: 1969-1981
Publications (10 Years): 0

Publications

Richard J. Orgass
Files in an Interactive Environment. Softw. Pract. Exp. 11 (12) (1981)
Dianne E. Britton, Ralph B. McLaughlin, Richard J. Orgass
A note concerning intermittent assertions. SIGACT News 9 (2) (1977)
Richard J. Orgass
Toward a primitive recursive semantics for APL. APL (1976)
Susan L. Gerhart, Richard J. Orgass
A proposal for a handbook for APL program verification. ACM SIGAPL APL Quote Quad 5 (4) (1974)
Charles D. Parsons, Richard J. Orgass, Richmond H. Thomason
Meeting of the Association for Symbolic Logic. J. Symb. Log. 37 (2) (1972)
Richard J. Orgass
Some Results Concerning Proofs of Statements about Programs. J. Comput. Syst. Sci. 4 (1) (1970)
Richard J. Orgass, William M. Waite
A base for a mobile programming system. Commun. ACM 12 (9) (1969)