Proceedings of the 9^th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82

Neil D. Jones, S. S. M. (1982). Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82. ACM.

Type

Unclassified

Intellectual base

Unclassified

Year

1982

DOI

10.1145/582153.582161

Link

https://doi.org/10.1145/582153.582161

Cited by

1 citation across 1 artifact.

Domain-specific

• Shape analysis (program analysis)
  • … example, the distinction between constitutive identity and a convenient observable transfers from An analyzer proves that a loop preserves a disjoint acyclic linked list while moving its head pointer. to A tool reports abstraction and widening assumptions and distinguishes may-sharing warnings from definite defects..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:a581a590c6e4 · see in the full table