About: Syntax-directed translation is a research topic. Over the lifetime, 48 publications have been published within this topic receiving 906 citations.
TL;DR: A simple-yet-effective algorithm to generate non-duplicate k-best translations for n-gram rescoring is devised and a direct probability model is defined and a linear-time dynamic programming algorithm is used to search for the best derivation.
Abstract: In syntax-directed translation, the source-language input is first parsed into a parse-tree, which is then recursively converted into a string in the target-language. We model this conversion by an extended tree-to-string transducer that has multi-level trees on the source-side, which gives our system more expressive power and flexibility. We also define a direct probability model and use a linear-time dynamic programming algorithm to search for the best derivation. The model is then extended to the general log-linear frame-work in order to incorporate other features like n-gram language models. We devise a simple-yet-effective algorithm to generate non-duplicate k-best translations for n-gram rescoring. Preliminary experiments on English-to-Chinese translation show a significant improvement in terms of translation quality compared to a state-of-the- art phrase-based system.
TL;DR: A compiler is constructed which performs the automatic compilation of concurrent programs into self-timed circuits and produces linear-sized implementations of arbitrary concurrent programs.
Abstract: : We presented a method for the automatic compilation of concurrent programs into self-timed circuits. The compilation is directed by the syntax of the source language and produces linear-sized implementations of arbitrary concurrent programs. We have constructed a compiler which performs this translation.
TL;DR: The author discusses the need for a visual specification formalism and introduces such a technique by augmenting logic programming with picture terms which can be considered as partially specified pictures by defining how to match picture terms and how to integrate matching with the execution of logic programs.
Abstract: Growing interest in visual languages has triggered new extended research into the specification and parsing of multi-dimensional structures. The author discusses the need for a visual specification formalism and introduces such a technique by augmenting logic programming with picture terms which can be considered as partially specified pictures. He defines how to match picture terms and how to integrate matching with the execution of logic programs. Based upon this extension, picture clause grammars (PCGs) are introduced. PCGs are formal visual specifications of visual languages and can be used for parsing and syntax directed translation of visual languages like DCGs are used in the case of textual languages. The executability of PCGs is demonstrated by defining their translation to logic programs employing picture terms. >
TL;DR: This paper considers the problem of resynthesizing the control parts of the syntax directed translation solutions by means of STG based algorithmic synthesis approaches, and shows with a realistic design experiment that the control resynthesis approach can offer significant improvements over pure syntax directedtranslation solutions.
Abstract: Syntax directed translation based compilation from high-level concurrent programs has matured significantly over the past few years. They have been applied to significant designs in the domains of digital signal processing and microprocessor designs. For data-path dominated designs, like those found in digital signal processing applications, syntax directed translation approaches have been shown to generate efficient asynchronous implementations. However for control-dominated designs where the data processing parts play a relatively minor role, we believe the solutions produced by pure syntax directed translation methods may be significantly improved. In this paper we consider the problem of resynthesizing the control parts of the syntax directed translation solutions by means of STG based algorithmic synthesis approaches. This involves a strategy for partitioning between the control and data processing parts, algorithms for reconstructing the STGs from the control partitions, and a strategy for resynthesizing these reconstructed STGs using existing STG-based synthesis approaches. We show with a realistic design experiment that our control resynthesis approach can offer significant improvements over pure syntax directed translation solutions.