Richard L. Schwartz

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