The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Tentative steps toward a development method for interfering programs

The work

AuthorsC. B. Jones
Editors
Typearticle
Year1983
Citekeyjones1983tentative

Where it appeared

Published inACM Transactions on Programming Languages and Systems
PublisherAssociation for Computing Machinery (ACM)
Volume5
Issue4
Pages596--619

Identifiers

DOI10.1145/69575.69577
OpenAlexW2090551028
ISSN0164-0925

Access

Landing pagehttps://doi.org/10.1145/69575.69577
Free full texthttps://dl.acm.org/doi/pdf/10.1145/69575.69577

Empty on purpose

copy

Related

Distinct fromclarke1996formal

Abstract

Development methods for (sequential) programs that run in isolation have been studied elsewhere. Programs that run in parallel can interfere with each other, either via shared storage or by sending messages. Extensions to earlier development methods are proposed for the rigorous development of interfering programs. In particular, extensions to the specification method based on postconditions that are predicates of two states and the development methods of operation decomposition and data refinement are proposed.

How it got here

How it got hereagent via crossref
Added2026-08-24 00:00 UTC
Not denied bya person 2026-10-29 17:12 UTC

Filed under

toplas what-a-process-may-share

Cite it as

@article{jones1983tentative,
  title        = {Tentative steps toward a development method for interfering programs},
  author       = {C. B. Jones},
  year         = {1983},
  journal      = {ACM Transactions on Programming Languages and Systems},
  publisher    = {Association for Computing Machinery (ACM)},
  volume       = {5},
  number       = {4},
  pages        = {596--619},
  issn         = {0164-0925},
  doi          = {10.1145/69575.69577},
}

This record lives at https://refs.drheap.org/jones1983tentative/ and will keep doing so.