Proceedings of the 35^th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Xin Zheng, R. R. (2008). Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM.

Type

Book chapter

Intellectual base

Textbook

Year

2008

DOI

10.1145/1328438.1328464

Link

https://doi.org/10.1145/1328438.1328464

Cited by

1 citation across 1 artifact.

Domain-specific

• Context-free language reachability
  • … from A canonical instance directly demonstrates that the endpoints are connected by some path and the ordered word formed from its edge labels is generated by the declared context-free grammar. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, or implementation..

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:4f253e48aede · see in the full table