Titlebook: Attribute Grammars and their Applications; International Confer P. Deransart,M. Jourdan Conference proceedings 1990 Springer-Verlag Berlin

VEIL

Parallel attribute evaluation: structure of evaluators and detection of paralleism,ver processors. These methods are simple and can exploit the potential parallelism in attribute evaluators. We furthermore present a method for detecting independent attribute computations. The results of attribute grammar analysis supports the construction of parallel evaluators.

Proponent

Parallel one-pass compilation,d, L-attributed grammars are used as the model of compilation. This language-independent approach can be used to generate a parallel compiler on the basis of a formal specification of the source language. The scheduling strategy is based on a static examination of the attribute dependencies of a pro

地名词典

Attribute grammar applications in prototyping LOTOS tools,f fully functional interactive tools. Going from a definition of a language and the functionality of its tools to an attribute grammar is a discipline in need of a systematic approach, for which we give some initial material. As is inevitable when a system is extensively used (in our case the Cornel

CONE

尖叫

Tree transformations, functional languages, and attribute grammars, designing and implementing two such tools, the OPTRAN transformer generator and the functional language TrafoLa, we compare those with other systems, e.g. the Cornell Synthesizer Generator and the Flagship tuples environment. Some design hints are derived from this comparison.

异常

寻找

Abstract interpretation using attribute grammars,ning a live-variable analysis for a small flow-chart language and proving it correct with respect to a continuation style semantics. The proof technique is based on fixpoint induction and introduces an extended class of attribute grammars as to express a standard semantics.