Journal ArticleOPEN ACCESS

Control Predicates are Better Than Dummy Variables for Reasoning About Program Control

ACM Transactions on Programming Languages and Systems (TOPLAS) (1988) 10(2) 267-281
DOI: 10.1145/42190.42348
12Citations
Citations of this article
18Readers
Mendeley users who have this article in their library.

Abstract

When explicit control predicates rather than dummy variables are used, the Owicki-Gries method for proving safety properties of concurrent programs can be strengthened, making it easier to construct the required program annotations. © 1988, ACM. All rights reserved.

Author supplied keywords

Cite

CITATION STYLE

APA

Lamport, L. (1988). Control Predicates are Better Than Dummy Variables for Reasoning About Program Control. ACM Transactions on Programming Languages and Systems (TOPLAS), 10(2), 267–281. https://doi.org/10.1145/42190.42348

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free