F. Voisin. CIGALE: A tool for interactive grammar construction and expression parsing. Science of Computer Programming, 7:61-86, 1986.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....LC recognizer, we see that here after Step 3 the stack element IT T] represents both IT T F] and [T T F] so that nondeterminism is reduced. Still some nondeterminism remains, since Step 3 could also have replaced IT F] by [E T] which represents both [E T T El and [E T ] 119 Extended LR parsing An extended context free grammar has right hand sides consisting of arbitrary regular expressions over V. This requires an LR parser for an extended grammar (an ELR parser) to behave differently from normal LR parsers. The behaviour of a normal LR parser upon a reduction ....

....G pt The simplification which leads to the CP algorithm inevitably causes the correct prefix property to be lost. 1. It is clear that a a T ais not acorrect string according to this grammar. The CP algorithm may go through the following sequence of configurations: 2An attempt has been made in [19] but this paper does not describe the algorithm in its full generality. aThe original algorithm in [21] applies an optimization concerning unit rules, irrelevant to our discussion. E] S E S 10 E ] z 1] a aTa aTa aTa aTa aTa aTa Ta a We see that in Step 9 the first incorrect ....

F. Voisin. CIGALE: A tool for interactive grammar construction and expression parsing. Science of Computer Programming, 7:61-86, 1986.

....generation are challenging and integral topics in the area of domain specific languages. The first aims to provide formal descriptions of syntax and semantics, while the latter studies the e#cient tool generation from such formal specifications. ASF SDF [14] Centaur [10] Pan [9] PSG [8] CIGALE [25] and Synthesizer Generator [23] are examples of the many systems available. These typically provide language editing capabilities and e#cient language tool generation, including lexers and parsers, from language specifications similar to those of Phobos. Nevertheless, most do not allow for dynamic ....

F Voisin. Cigale: A tool for interactive grammar construction and expression parsing. Science of Computer Programming, 7(1):61--86, 1986.

....generation are challenging and integral topics in the area of domain specific languages. The first aims to provide formal descriptions of syntax and semantics, while the latter studies the e#cient tool generation from such formal specifications. ASF SDF [12] Centaur [9] Pan [8] PSG [7] CIGALE [23] and Synthesizer Generator [21] are examples of the many systems available. These typically provide language editing capabilities and e#cient language tool generation, including lexers and parsers, from language specifications similar to those of Phobos. Nevertheless, most do not allow for dynamic ....

F Voisin. Cigale: A tool for interactive grammar construction and expression parsing. Science of Computer Programming, 7(1):61--86, 1986.

....from the fact that its lexical syntax is xed, Lithe has user de nable LR(1) syntax. O Donnell s notational speci cations [O D85] constitute an alternative to syntax directed translations. Most closely related to our work are the user de nable dist x operators in OBJ [FGJM85] and Asspegique Cigale [Voi86]. The following features can be used to characterize syntax de nition formalisms: The class of acceptable grammars. The integration between the description of lexical and of context free syntax. The class of context free syntax abstract syntax pairs that can be described. The integration ....

F. Voisin. CIGALE: a tool for interactive grammar construction and expression parsing. Science of Computer Programming, 7:61{

....and instanciation primitives. The tools available in the Asspegique specification environment include browsing tools, a specification editing tool, a specification modules integrator, symbolic evaluation tools and interfaces to other tools or environments. Most of these tools use Cigale [921], a system for incremental grammar construction and parsing, which has been especially designed in order to cope with a flexible, user oriented way of defining operators, with coercion and overloading of operators. While the aim of the Asspegique environment is to provide the user with a wide ....

F. Voisin. CIGALE: a tool for interactive grammar construction and expression parsing. Science of Computer Programming, 7(1):61--86, 1986.

.... various extensions of context free grammars are developed for attaching semantics to grammars: attribute grammars [Knu68] affix grammars [Kos71] and definite clause grammars [PW80] Examples of formalisms built on one or more of these themes are: lex [LS86] yacc [Joh75] PSG [BS86] Cigale [Voi86] synthesizer generator [RT89] Metal [Aus89] Sdf [HHKR92] txl [CC93] and pccts [PQ94] An overview of available syntax definition tools is provided by [MR94] The combination of features that a formalism provides is, necessarily, rather arbitrary and strongly influenced by the expected ....

F. Voisin. CIGALE: a tool for interactive grammar construction and expression parsing. Science of Computer Programming, 7:61--86, 1986.

....pairs) Moreover, parentheses ( can also be used as genuine functions, for instance as tuple constructors. In OBJ this is forbidden (causing, e.g. problems as described by Martin [Mar93] Other systems supporting the development of algebraic specifications include Asspegique [BC85, BGM89, Voi86] Act one [Han87] or the Equation Interpreter [O D85] Features not available in Asf Sdf are proof support as in Larch [GG89] narrowing as in RAP [Hus88] completion as in REVEUR4 [BR88] or in RRL [Zha92] or persistency checks as in Perspect [Wie91] ....

F. Voisin. CIGALE: a tool for interactive grammar construction and expression parsing. Science of Computer Programming, 7:61--86, 1986.

....fact that its lexical syntax is fixed, Lithe has user definable LR(1) syntax. O Donnell s notational specifications [O D85] constitute an alternative to syntax directed translations. Most closely related to our work are the user definable distfix operators in OBJ [FGJM85] and Asspegique Cigale [Voi86] The following features can be used to characterize syntax definition formalisms: ffl The class of acceptable grammars. ffl The integration between the description of lexical and of context free syntax. ffl The class of context free syntax abstract syntax pairs that can be described. ffl ....

F. Voisin. CIGALE: a tool for interactive grammar construction and expression parsing. Science of Computer Programming, 7:61--86, 1986.

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