Local constraints in programming languages. I: Syntax
From MaRDI portal
Publication:1143180
DOI10.1016/0304-3975(80)90058-4zbMath0441.68086MaRDI QIDQ1143180
Kang Yueh, Aravind K. Joshi, Leon S. Levy
Publication date: 1980
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(80)90058-4
correctness; programming languages; local constraints; context-free languages; syntax; program derivation structure
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Optimization of LR(k) parsers
- Constraints on Structural Descriptions: Local Transformations
- Skeletal structural descriptions
- Context-sensitive immediate constituent analysis---context-free languages revisited
- An efficient context-free parsing algorithm
- On the Covering and Reduction Problems for Context-Free Grammars