Compiler Construction

Noam Rinetzky, M. S. (2001). Compiler Construction.

Type

Unclassified

Intellectual base

Unclassified

Year

2001

DOI

10.1007/3-540-45306-7_10

Link

https://doi.org/10.1007/3-540-45306-7_10

Cited by

1 citation across 1 artifact.

Domain-specific

• Shape analysis (program analysis)
  • Shape analysis computes conservative abstractions of pointer-linked data structures to prove properties such as acyclicity, separation and absence of memory errors.

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:0e677ae1634e · see in the full table