Richard J. Orgass

According to our database, Richard J. Orgass authored at least 7 papers between 1969 and 1981.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1981

Files in an Interactive Environment.

Richard J. Orgass

Softw. Pract. Exp., 1981

1977

A note concerning intermittent assertions.

Dianne E. Britton, Ralph B. McLaughlin, Richard J. Orgass

SIGACT News, 1977

1976

Toward a primitive recursive semantics for APL.

Richard J. Orgass

Proceedings of the eighth international conference on APL, 1976

1974

A proposal for a handbook for APL program verification.

Susan L. Gerhart, Richard J. Orgass

ACM SIGAPL APL Quote Quad, 1974

1972

Meeting of the Association for Symbolic Logic.

Charles D. Parsons, Richard J. Orgass, Richmond H. Thomason

J. Symb. Log., 1972

1970

Some Results Concerning Proofs of Statements about Programs.

Richard J. Orgass

J. Comput. Syst. Sci., 1970

1969

A base for a mobile programming system.

Richard J. Orgass, William M. Waite

Commun. ACM, 1969