• DOI:10.1145/258915.258920
Corpus ID: 16879641

Incremental analysis of real programming languages

@inproceedings{Wagner1997IncrementalAO,
  title={Incremental analysis of real programming languages},
  author={T. Wagner and S. Graham},
  booktitle={PLDI '97},
  year={1997}
}

T. Wagner, S. Graham

Published in PLDI '97 1997

Computer Science

A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. [...] Key Method Our algorithm combines Tomita's generalized LR parser with reuse of entire subtrees via state-matching. Disambiguation can occur statically, during or after parsing, or during semantic analysis (using existing incremental techniques); program errors that preclude disambiguation retsin multiple interpretations indefinitely. Our representation and analyses gain efficiency by…Expand Abstract

View on ACM

harmonia.cs.berkeley.edu

Save to Library

Create Alert

Cite

Launch Research Feed