Local constraints in programming languages. I: Syntax

DOI10.1016/0304-3975(80)90058-4zbMath0441.68086OpenAlexW2088503709MaRDI 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

zbMATH Keywords

correctnessprogramming languageslocal constraintscontext-free languagessyntaxprogram derivation structure

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item