Syntactic Analysis and Operator Precedence

DOI10.1145/321172.321179zbMath0133.25504DBLPjournals/jacm/Floyd63OpenAlexW2097033551WikidataQ56573511 ScholiaQ56573511MaRDI QIDQ5343340

Robert W. Floyd

Publication date: 1963

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/321172.321179

zbMATH Keywords

mathematical logic

Related Items (40)

Model-checking structured context-free languages ⋮ A basic course on compiler principles ⋮ A note on top-down deterministic languages ⋮ Correctness of an extended operator-precedence parsing algorithm ⋮ PHRASE parsers from multi-axiom grammars ⋮ Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization ⋮ Locally Chain-Parsable Languages ⋮ Beyond operator-precedence grammars and languages ⋮ Verification of programs with exceptions through operator precedence automata ⋮ Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages ⋮ Generalizing input-driven languages: theoretical and practical benefits ⋮ Error detection in precedence parsers ⋮ Unnamed Item ⋮ Linear precedence functions for weak precedence grammars ⋮ Unnamed Item ⋮ The size of LALR (1) parsers ⋮ Operator precedence temporal logic and model checking ⋮ Refunctionalization at work ⋮ Hardest languages for conjunctive and Boolean grammars ⋮ Precedences in specifications and implementations of programming languages ⋮ Precedence Automata and Languages ⋮ Operator precedence and the visibly pushdown property ⋮ A note on weak operator precedence grammars ⋮ A note on weak operator precedence grammars ⋮ Ambiguity and precedence in syntax description ⋮ Complete operator precedence ⋮ On the pre-AFL of \([lg\;n\) space and related families of languages] ⋮ Inference for regular bilanguages ⋮ Toward a theory of input-driven locally parsable languages ⋮ Unnamed Item ⋮ Un programma per semplificare espressioni algebriche razionali ⋮ A graph theory oriented extension to ALGOL ⋮ Weighted operator precedence languages ⋮ A method for the structural analysis of two-dimensional mathematical expressions ⋮ LR-regular grammars - an extension of LR(k) grammars ⋮ Weighted Operator Precedence Languages ⋮ Invito alla teoria dei linguaggi formali ⋮ Double Greibach operator grammars ⋮ Construction of recognition devices for regular languages from their Backus Normal Form definition ⋮ Nonterminal separation in graph grammars

This page was built for publication: Syntactic Analysis and Operator Precedence