Richard L. Schwartz

Publication Activity (10 Years)

Years Active: 1977-1988
Publications (10 Years): 0

Publications

Richard L. Schwartz
Data Base Distribution and Concurrency for End-Users (Abstract). Concurrency (1988)
Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
An Interval-Based Temporal Logic. Logic of Programs (1983)
Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. Protocol Specification, Testing, and Verification (1983)
Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
An Interval Logic for Higher-Level Temporal Reasoning. PODC (1983)
Richard L. Schwartz, P. M. Melliar-Smith
From State Machines to Temporal Logic: Specification Methods for Protocol Standards. The Analysis of Concurrent Systems (1983)
Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith
STP: A Mechanized Logic for Specification and Verification. CADE (1982)
P. M. Melliar-Smith, Richard L. Schwartz
Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System. IEEE Trans. Computers 31 (7) (1982)
P. M. Melliar-Smith, Richard L. Schwartz
The proof of SIFT. ACM SIGSOFT Softw. Eng. Notes 7 (1) (1982)
Richard L. Schwartz, P. Michael Melliar-Smith
From State Machines to Temporal Logic: Specification Methods for Protocol Standards. IEEE Trans. Commun. 30 (12) (1982)
Richard L. Schwartz, P. M. Melliar-Smith
From State Machines to Temporal Logic: Specification Methods for Protocol Standards. PSTV (1982)
Richard L. Schwartz, P. M. Melliar-Smith
The Finalization Operation for Abstract Types. ICSE (1981)
Mark Moriconi, Richard L. Schwartz
Automatic Construction of Verification Condition Generators From Hoare Logics. ICALP (1981)
Richard L. Schwartz, P. M. Melliar-Smith
Temporal Logic Specification of Distributed Systems. ICDCS (1981)
Daniel M. Berry, Richard L. Schwartz
United and Discriminated Record Types in Strongly Typed Languages. Inf. Process. Lett. 9 (1) (1979)
Richard L. Schwartz
Aliasing Among Pointers in EUCLID. Inf. Process. Lett. 9 (2) (1979)
Richard L. Schwartz
An Aximatic Treatment of Algol 68 Routines. ICALP (1979)
Richard L. Schwartz, Daniel M. Berry
A semantic view of ALGOL 68. Comput. Lang. 4 (1) (1979)
Daniel M. Berry, Richard L. Schwartz
Type equivalence in strongly typed languages: one more look. ACM SIGPLAN Notices 14 (9) (1979)
Richard L. Schwartz
Parallel Compilation: A Design and Its Application to SIMULA 67. Comput. Lang. 3 (2) (1978)
Piotr Dembinski, Richard L. Schwartz
The taming of the pointer. ACM SIGPLAN Notices 12 (7) (1977)