Richard L. Schwartz

According to our database, Richard L. Schwartz authored at least 18 papers between 1977 and 1988.

Collaborative distances:

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

1988

Data Base Distribution and Concurrency for End-Users (Abstract).

Richard L. Schwartz

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

1983

An Interval Logic for Higher-Level Temporal Reasoning.

Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt

Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, 1983

An Interval-Based Temporal Logic.

Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt

Proceedings of the Logics of Programs, 1983

Interval Logic: A Higher-Level Temporal Logic for Protocol Specification.

Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

From State Machines to Temporal Logic: Specification Methods for Protocol Standards.

Richard L. Schwartz, P. Michael Melliar-Smith

IEEE Trans. Commun., 1982

Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System.

P. M. Melliar-Smith, Richard L. Schwartz

IEEE Trans. Computers, 1982

The proof of SIFT.

P. M. Melliar-Smith, Richard L. Schwartz

ACM SIGSOFT Softw. Eng. Notes, 1982

STP: A Mechanized Logic for Specification and Verification.

Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith

Proceedings of the 6th Conference on Automated Deduction, 1982

1981

The Finalization Operation for Abstract Types.

Richard L. Schwartz, P. M. Melliar-Smith

Proceedings of the 5th International Conference on Software Engineering, 1981

Temporal Logic Specification of Distributed Systems.

Richard L. Schwartz, P. M. Melliar-Smith

Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

Automatic Construction of Verification Condition Generators From Hoare Logics.

Mark Moriconi, Richard L. Schwartz

Proceedings of the Automata, 1981

1979

Type equivalence in strongly typed languages: one more look.

Daniel M. Berry, Richard L. Schwartz

ACM SIGPLAN Notices, 1979

Aliasing Among Pointers in EUCLID.

Richard L. Schwartz

Inf. Process. Lett., 1979

United and Discriminated Record Types in Strongly Typed Languages.

Daniel M. Berry, Richard L. Schwartz

Inf. Process. Lett., 1979

A semantic view of ALGOL 68.

Richard L. Schwartz, Daniel M. Berry

Comput. Lang., 1979

An Aximatic Treatment of Algol 68 Routines.

Richard L. Schwartz

Proceedings of the Automata, 1979

1978

Parallel Compilation: A Design and Its Application to SIMULA 67.

Richard L. Schwartz

Comput. Lang., 1978

1977

The taming of the pointer.

Piotr Dembinski, Richard L. Schwartz

ACM SIGPLAN Notices, 1977