Pages that link to "Item:Q5343340"
From MaRDI portal
The following pages link to Syntactic Analysis and Operator Precedence (Q5343340):
Displaying 41 items.
- Precedences in specifications and implementations of programming languages (Q673491) (← links)
- Toward a theory of input-driven locally parsable languages (Q728273) (← links)
- Nonterminal separation in graph grammars (Q804300) (← links)
- Model-checking structured context-free languages (Q832277) (← links)
- Refunctionalization at work (Q923881) (← links)
- Correctness of an extended operator-precedence parsing algorithm (Q1108054) (← links)
- PHRASE parsers from multi-axiom grammars (Q1129132) (← links)
- Ambiguity and precedence in syntax description (Q1216941) (← links)
- Complete operator precedence (Q1223941) (← links)
- On the pre-AFL of \([lg\;n]\) space and related families of languages (Q1231780) (← links)
- Inference for regular bilanguages (Q1242698) (← links)
- Double Greibach operator grammars (Q1589438) (← links)
- Generalizing input-driven languages: theoretical and practical benefits (Q1706605) (← links)
- Hardest languages for conjunctive and Boolean grammars (Q1740643) (← links)
- Operator precedence and the visibly pushdown property (Q1757840) (← links)
- Weighted operator precedence languages (Q2064530) (← links)
- Beyond operator-precedence grammars and languages (Q2186819) (← links)
- Operator precedence temporal logic and model checking (Q2215961) (← links)
- Un programma per semplificare espressioni algebriche razionali (Q2539730) (← links)
- A graph theory oriented extension to ALGOL (Q2543109) (← links)
- A method for the structural analysis of two-dimensional mathematical expressions (Q2545654) (← links)
- LR-regular grammars - an extension of LR(k) grammars (Q2558004) (← links)
- Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization (Q2944566) (← links)
- Locally Chain-Parsable Languages (Q2946332) (← links)
- Precedence Automata and Languages (Q3007634) (← links)
- (Q3384888) (← links)
- The size of LALR (1) parsers (Q4065011) (← links)
- Invito alla teoria dei linguaggi formali (Q4743745) (← links)
- (Q5016361) (← links)
- (Q5101344) (← links)
- Weighted Operator Precedence Languages (Q5111245) (← links)
- Construction of recognition devices for regular languages from their Backus Normal Form definition (Q5522204) (← links)
- A basic course on compiler principles (Q5591168) (← links)
- A note on top-down deterministic languages (Q5591520) (← links)
- Error detection in precedence parsers (Q5672150) (← links)
- Linear precedence functions for weak precedence grammars (Q5678443) (← links)
- A note on weak operator precedence grammars (Q5906005) (← links)
- A note on weak operator precedence grammars (Q5906151) (← links)
- Verification of programs with exceptions through operator precedence automata (Q6045058) (← links)
- Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages (Q6137830) (← links)
- Antichains algorithms for the inclusion problem between \(\omega\)-VPL (Q6535360) (← links)