Design of a separable transition-diagram compiler

From MaRDI portal
Publication:5725063

DOI10.1145/366663.366704zbMath0116.09605OpenAlexW1991570511WikidataQ56209710 ScholiaQ56209710MaRDI QIDQ5725063

Melvin E. Conway

Publication date: 1963

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

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




Related Items (27)

The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic enginesA technique for generating interpretive translators for problem-oriented languagesAn operator net model for distributed systemsCoroutine sequencing in a block structured environmentControl extension in a recursive languageOn logic of complex algorithmsOn the relationship between the LL(k) and LR(k) grammarsSafe functional systems through integrity types and verified assemblyA New Method for Dependent ParsingA theory for program and data type specificationConcurrent programming in the Ada® language: The polling biasAutomatic correction of syntax-errors in programming languagesA low‐cost implementation of coroutines for CA proof rule for multiple coroutine systemsDeadlock detection for actor-based coroutinesIntercalation lemmas for tree transducer languagesAugmented transition networks and their relation to tree transducersFast deterministic parsers for transition networksTowards a Taxonomy for ECFG and RRPG ParsingSimple chain grammars and languagesA theory of RPC calculi for client–server modelAn application of coroutines and backtracking in interactive systemsTop-down syntax nalysisGeneration, recognition and parsing of context-free languages by means of recursive graphsTwo WAM Implementations of Action RulesLight-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with JavaUsing coroutines in pascal




This page was built for publication: Design of a separable transition-diagram compiler