W. M. Waite. Use of attribute grammars in compiler construction. In P. Deransart and M. Jourdan, editors, Attribute Grammars and their Applications, volume 461 of Lecture Notes in Computer Science, pages 255--265. Springer-Verlag, 1990.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....DNC test succeed, and attempts to construct a classical OAG evaluator. Should the test fail, however, it applies the fibering transformation and then attempts the classical OAG construction again on 2 The notion of dummy attributes arises frequently in the literature, however the LIGA system [48, 78] is notable for its systematic use of such attributes to integrate imperative programming into attribute grammars in a reasonably clean manner. 3 As it turns out, the Example language is a degenerate case for fibering, and is thus not suitable for this purpose. The description for Modula 2 ....

....to address has been for the most part overlooked in the large literature on attribute grammars. This very likely is related to the fact that attribute grammars have been extensively studied in the academic literature, but are seldom employed in constructing real compilers, as noted by Waite [78]. Toy languages used in expository papers invariably assume declaration before use, and several well known published attribute grammars for the full strength semantic analysis of real programming languages implement languages with strong declaration before use requirements, e.g. Pascal in ....

W. M. Waite. Use of attribute grammars in compiler construction. In P. Deransart and M. Jourdan, editors, Attribute Grammars and their Applications, volume 461 of Lecture Notes in Computer Science, pages 255--265. Springer-Verlag, 1990.

....these tools in that attribute grammar systems in general are more declarative. A designer is simply concerned with the dependencies among attributes; the system will automatically infer an efficient way of evaluation. There exist several practical attribute grammar systems. Eli (Gray et al. 1992; Waite, 1990) is a modern, full fledged compilerwriting system, including all tools from scanners to code generators. Eli includes many extensions to basic attribute grammar formalisms, such as including, constituent, and macros. In an Eli specification, the attribute specification is mixed with C code, which ....

....grammars, which is a proper subset of the (extended) ordered attribute grammars that SSCC can process. There are many existing attribute grammar systems (Gray et al. 1992; Kastens et al. 1982; Koskimies and Paakki, 1990) These systems implement editors (Reps, 1984) compilers (Farrow, 1984; Waite, 1990; Waite, 1993) compiler compilers, programming environments, and proof checkers (Reps and Alpern, 1984) SSCC has been used as the frontend of a parallel evaluation system for attribute grammars in the PVM environment (Lee et al. 1996) SSCC will be used a tool for quickly experimenting new ....

Waite, W. M. (1990) Use of attribute grammars in compiler construction. Proceedings of International Workshop on Attribute Grammars and Their Applications, pp. 255-265. Paris, France. Lecture Notes in Computer Science 461, Springer-Verlag, New York, NY, U.S.A.

....since their introduction [Knu68] because they allow the specification of the grammar and the translation semantics in one description. Unfortunately translations implemented in this manner can be slow and many translations are difficult to express purely as functions of attributes; according to [Wai90], pure attribute grammars have had little impact on compiler construction. LRS74] considered the practical application of attribute grammars to compilers by characterizing the types of attribute grammars that could be efficiently handled via LR(k) bottom up and LL(k) top down parsing methods. ....

W. M. Waite. Use of Attribute Grammars in Compiler Construction. In Attribute Grammars and their Applications; Lecture Notes in Computer Science, volume 461, pages 254--265. Springer-Verlag, 1990. This article was processed using the L a T E X macro package with LLNCS style

....and the software for the Mephisto Chess computer. The related formalism of one pass Attribute Grammars has been studied extensively (see e.g. 2] It has also inspired hundreds of implementations, including the ubiquitous yacc Yet Another Compiler Compiler. In spite of the opinion of Waite [25], there is no denying that compiler generators based on such one pass formalisms have been quite successful in the production of serious compilers. This simple type of grammar is however quite operational, the formalisms used are procedural languages in which, rather than a language, a parser or ....

W.M. Waite, Use of Attribute Grammars in Compiler Construction. In: [9].

.... It is well known, however, that the traversal strategy and the storage management mechanism can be deduced from the dependences among the computations at the nodes [16] Attribute grammars [9] can be used as declarative specifications of the dependence among computations at the nodes of a tree [13]. In their original form, however, they were difficult to write and to maintain. Moreover, early translators for attribute grammars generated evaluation modules with poor performance in both space and time. These problems have now been overcome. Modern attribute grammar tools, such as LIGA [7] ....

Waite, W. M., "Use of Attribute Grammars in Compiler Construction," in Attribute Grammars and their Applications, Pierre Deransart & Martin Jourdan, eds., Lecture Notes in Computer Science #41, Springer Verlag, Berlin, 1990, 255--265.

No context found.

Waite, W. M., "Use of Attribute Grammars in Compiler Construction," in Attribute Grammars and their Applications, Pierre Deransart & Martin Jourdan, eds., Lect. Notes in Comp. Sci. #41, Springer Verlag, Berlin, 1990, 255--265.

No context found.

W.M. Waite, Use of attribute grammars in compiler construction, Workshop on Attribute Grammars and Their Applications, Lecture Notes in Computer Science 461 pp. 255-265 (1990).

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC