Pages that link to "Item:Q5725063"
From MaRDI portal
The following pages link to Design of a separable transition-diagram compiler (Q5725063):
Displayed 27 items.
- An operator net model for distributed systems (Q1123601) (← links)
- On logic of complex algorithms (Q1162145) (← links)
- On the relationship between the LL(k) and LR(k) grammars (Q1167546) (← links)
- A theory for program and data type specification (Q1199933) (← links)
- Automatic correction of syntax-errors in programming languages (Q1211841) (← links)
- A proof rule for multiple coroutine systems (Q1225452) (← links)
- Intercalation lemmas for tree transducer languages (Q1237574) (← links)
- Augmented transition networks and their relation to tree transducers (Q1238432) (← links)
- Simple chain grammars and languages (Q1259175) (← links)
- Fast deterministic parsers for transition networks (Q1789065) (← links)
- Deadlock detection for actor-based coroutines (Q2024332) (← links)
- Safe functional systems through integrity types and verified assembly (Q2220814) (← links)
- Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java (Q2340048) (← links)
- Top-down syntax nalysis (Q2551318) (← links)
- Generation, recognition and parsing of context-free languages by means of recursive graphs (Q2559926) (← links)
- The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines (Q2893093) (← links)
- A New Method for Dependent Parsing (Q3000590) (← links)
- Concurrent programming in the Ada® language: The polling bias (Q3321429) (← links)
- Towards a Taxonomy for ECFG and RRPG Parsing (Q3618599) (← links)
- Using coroutines in pascal (Q3694657) (← links)
- An application of coroutines and backtracking in interactive systems (Q4188707) (← links)
- A theory of RPC calculi for client–server model (Q4972065) (← links)
- A low‐cost implementation of coroutines for C (Q5184377) (← links)
- Two WAM Implementations of Action Rules (Q5504685) (← links)
- A technique for generating interpretive translators for problem-oriented languages (Q5611426) (← links)
- Coroutine sequencing in a block structured environment (Q5653547) (← links)
- Control extension in a recursive language (Q5666173) (← links)