The following pages link to (Q4057550):
Displaying 47 items.
- Correctness proofs of syntax-directed processing descriptions by attributes (Q754662) (← links)
- On the 'correct prefix property' in precedence parsers (Q792099) (← links)
- Erratum to ``On the 'correct prefix property' in precedence parsers'' (Q797299) (← links)
- On parsing two-level grammars (Q1143815) (← links)
- Methods and means of parallel processing of information (Q1155954) (← links)
- A parsing automata approach to LR theory (Q1157181) (← links)
- Automatic correction of syntax-errors in programming languages (Q1211841) (← links)
- A conversational language for solving problems in dimensional analysis (Q1211859) (← links)
- Retrieval from context trees (Q1218292) (← links)
- Attributed translations (Q1218732) (← links)
- LL-regular grammars (Q1220793) (← links)
- A note on precedence functions (Q1222968) (← links)
- A note on linear precedence functions (Q1229590) (← links)
- An alternative approach to the improvement of LR(k) parsers (Q1238428) (← links)
- Counter-one-pass features in one-pass compilation: A formalization using attribute grammars (Q1252033) (← links)
- Story parsing grammar (Q1333368) (← links)
- Algorithms for fast evaluation of Boolean expressions (Q1393275) (← links)
- Multipass precedence analysis (Q1393278) (← links)
- Support tools for the construction of discrete optimization software systems (Q1816308) (← links)
- Syntactic recognizer for expandable languages (Q1905217) (← links)
- Strict deterministic grammars (Q2560718) (← links)
- PEP: An interactive programming system with an Algol-like programming language (Q3040506) (← links)
- An implementation of Algol 68 for a small computer (Q3660877) (← links)
- OPTIMA—A portable PCODE optimizer (Q3664421) (← links)
- Translator design to support run-time debugging (Q3854617) (← links)
- A composite algorithm for strength reduction and code movement optimization (Q3877018) (← links)
- Interpretation and code generation based on intermediate languages (Q3877034) (← links)
- The design and implementation of parametric types in Pascal (Q3929017) (← links)
- A machine-independent approach to microprogram synthesis (Q3957910) (← links)
- An algebraic approach to data organization (Q4048582) (← links)
- Experience with a conversational parser generating system (Q4051569) (← links)
- A transportable extendable compiler (Q4057583) (← links)
- Computational complexity of formal translations (Q4057597) (← links)
- Compilation of linear partial differential equations into finite-difference programs (Q4076705) (← links)
- An error-correcting syntactic decoder for computer networks (Q4079082) (← links)
- Sequential syntactical decoding (Q4090228) (← links)
- Lektor-a list-oriented, machine-independent programming system for conversational applications (Q4103172) (← links)
- Syntax-directed correction of syntax errors (Q4105242) (← links)
- AUTOMATED ALGORITHM FINDING (Q4136554) (← links)
- A simplification of code tables in a one-pass PL/M compiler (Q4153584) (← links)
- A symbolic system for computer-aided development of surface interpolants (Q4153608) (← links)
- Interactive simulation on minicomputers (Q4164866) (← links)
- Non-recursive top-down syntax analysis (Q4174791) (← links)
- Evaluating Boolean function with random variables (Q4770472) (← links)
- A syntax directed macro processor (Q4775457) (← links)
- Reverse polish notation method (Q4831399) (← links)
- On evaluating boolean expressions (Q5180391) (← links)
