Richard L. Schwartz - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

1988

Data Base Distribution and Concurrency for End-Users (Abstract)Richard L. Schwartz. concur 1988: 63

1983

An Interval-Based Temporal LogicRichard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt. lop 1984: 443-457

An Interval Logic for Higher-Level Temporal ReasoningRichard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt. podc 1983: 173-186

Interval Logic: A Higher-Level Temporal Logic for Protocol SpecificationRichard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt. ifip 1983: 3-18

From State Machines to Temporal Logic: Specification Methods for Protocol StandardsRichard L. Schwartz, P. M. Melliar-Smith. acs 1985: 55-65

1982

1981

Automatic Construction of Verification Condition Generators From Hoare LogicsMark Moriconi, Richard L. Schwartz. icalp 1981: 363-377

The Finalization Operation for Abstract TypesRichard L. Schwartz, P. M. Melliar-Smith. ICSE 1981: 273-282

Temporal Logic Specification of Distributed SystemsRichard L. Schwartz, P. M. Melliar-Smith. icdcs 1981: 446-454

1979

Type equivalence in strongly typed languages: one more lookDaniel M. Berry, Richard L. Schwartz. SIGPLAN, 14(9):35-41, 1979. [doi]

United and Discriminated Record Types in Strongly Typed LanguagesDaniel M. Berry, Richard L. Schwartz. ipl, 9(1):13-18, 1979.

An Aximatic Treatment of Algol 68 RoutinesRichard L. Schwartz. icalp 1979: 530-545

Aliasing Among Pointers in EUCLIDRichard L. Schwartz. ipl, 9(2):76-79, 1979.

A semantic view of ALGOL 68Richard L. Schwartz, Daniel M. Berry. Comp. Lang., Syst. \& Struct., 4(1):1-15, 1979.

1978

Parallel Compilation: A Design and Its Application to SIMULA 67Richard L. Schwartz. Comp. Lang., Syst. \& Struct., 3(2):75-94, 1978.

1977

The taming of the pointerPiotr Dembinski, Richard L. Schwartz. SIGPLAN, 12(7):60-74, 1977. [doi]

Sign in or sign up to see more results.

runs on WebDSL