T. Mason and D. Brown. Lex & Yacc. O'Reilly and Associates, Inc., 632 Petaluma Ave, CA, 1990.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....Semantic functions Frontend Semantic Analyser The process algebra compiler (PAC) gets as input a process algebra description and generates a back end. The process algebra description consists of grammar for the syntax of the process algebra in a language similar to the one used by yacc ([LMB92]) Furthermore, its semantics in a syntax suitable for rewriting logic (similar to the one used by Maude) has to be defined. The process algebra compiler can be divided into two components, the syntax analyser and the semantic analyser. The syntax analyser takes as input the grammar part of the ....

John Levine, Tony Mason, and Doug Brown. Lex and Yacc. O'Reilly and Associates, Inc, 103 Morris Street, Suite A, Sebastopol, Ca 95472, 1992.

....concern involved allowing users to run arbitrary Matlab code, including potentially destructive system calls, on Millennium. This was possible because original Sugar package evaluated netlist code without syntax checking. To eliminate this security hole, we rewrote the netlist parser using bison [6], flex [6] and C . This new netlist compiler provided efficient netlist verification at upload and thorough syntax checking, in addition to eliminating the security hole. We also performed a preliminary investigation of several numerical tools such as SCALAPACK, SuperLU, and Netsolve on the ....

....involved allowing users to run arbitrary Matlab code, including potentially destructive system calls, on Millennium. This was possible because original Sugar package evaluated netlist code without syntax checking. To eliminate this security hole, we rewrote the netlist parser using bison [6] flex [6], and C . This new netlist compiler provided efficient netlist verification at upload and thorough syntax checking, in addition to eliminating the security hole. We also performed a preliminary investigation of several numerical tools such as SCALAPACK, SuperLU, and Netsolve on the Millennium. ....

J. R. Levine, T. Mason, and D. Brown. lex & yacc. O'Reilly and Associates, 1992. 9

....a task is in his critical section then this is the only task allowed to run (6) Otherwise, the algorithm looks for all tasks ready to run and chooses the task with the highest priority (7) 5. The Tool The simulator has been developed in C with the aid of the well known tools Flex and Bison [8]. So there must be no difficulties to use it on many platforms. The first version of the simulator has been implemented on a Linux system running on a 486DX2 66Mhz with 8Mb of RAM. The simulator is simple to use; it receives as input a description of a system in the described language; then it ....

T. Masson and D. Brown. lex & yacc. O'Reilly and Associates, Inc., 1991.

....is fixed, they can not evolve to handle the increasingly complex semantic analysis tasks required by modern programming languages. 1.2 Compiler generation tools One approach to overcoming the inflexibility of macro languages was to abandon them altogether as code generators. Tools like Yacc [38, 48], PCCTS Antlr [58] and JavaCC [56] have been developed which allow the compiler developer to attach a segment of code, usually C or recently Java, to each grammar rule in the specification of the source language syntax. A parser is automatically generated from the set of grammar rules, and during ....

....features from traditional macro processing, like conditional macro expansion, local arithmetic, or iteration over lists, the macro becomes a very powerful specification mechanism. This use of macros is one of the key advantages the TICS tools have over other compiler generators. Tools like Yacc [38, 48], PCCTS Antlr [58] and JavaCC [56] also specify compilers by attaching semantic operations to BNF rules, but the semantic operations in these tools are code fragments written in C or Java which are executed when the corresponding BNF rule is matched by the parser. In these tools, one must specify ....

J.R. Levine, T. Mason, and D. Brown. Lex & Yacc. O'Reilly and Associates, 1992.

....into several steps, whereas the first step is the preprocessing of the web page to be analyzed. We transform a web page as shown in Figure 1 into a list of tokens which we will explain in detail in section 2.2. In our existing system (Section 5) this is done by the lexical analyzer FLEX [17] (by the definition of a FLEX grammar to build tokens in extended term notation) We want to emphasize that we are not bound to a special lexical analyzer generator tool like FLEX, any arbitrary tool can be used as long as it meets the definition of a token. Figure 1. An advertisement web page ....

John Levine, Tony Mason, and Doug Brown. Lex & Yacc. O'Reilly and Associates., 1990.

....script is the last data type that a value string will be checked against for a true value from its recognise( method and vice versa. The process of calling the addType( method is similar to the need to carefully order the regular expressions in the input file to a scanner tool, such as lex [LMB92] An example of this is shown in the code in Appendix A.3 where the call to addType( for the integer data type occurs after the call of the method for the floating point data type. This is so that numerical value strings that do not contain a period (full stop) character (or an e or an E ) ....

J. Levine, T. Mason, and D. Brown. lex & yacc. O'Reilly and Associates, second edition, 1992.

....how pictograms can be used to capture concepts related to spatial geometry, spatial relationships and multiple spatial representations. We define the pictograms for both entities and the spatial relationships. The grammar is presented in graphical form. The grammar is similar to that of yacc [18] and the syntax is explained in the next section, along with translation rules. Pictogram: A pictogram is generally represented as a miniature version (icon) of an object inserted inside of a box. These pictograms are used to extend ER diagrams by inserting them at appropriate places in the ....

....in the rest of this paper. Several vendors are working on providing this functionality. 4 Translation Rules This section describes translation rules to map the pictogram extended entityrelationship diagrams onto a logical data model. 4. 1 Syntax directed translation We have used yacc [18] like syntax to describe the grammar and the translation rules. Words in angular brackets, e.g. hpictogrami denote non terminating elements of the language. For example, the hpictogrami will be either translated into hshapei OR OR inside a box. The general convention of representing OR in ....

Levine John R, Tony Mason, and Doug Brown. Lex and Yacc. O'Reilly And Associates, 1992.

....exists [13] We are currently completing an implementation of an MD SQL engine that processes queries based on the EBNF in figure 3. The system is highly portable and can be run on top of any DBMS that supports the DynamicSQL CLI standard [2] First, we compile an MD SQL query using Lex and Yacc [11] into instances of C objects (a parse tree) Using this parse tree, instantiations for the meta variables in the query are generated in the order in which they are declared in the FROM clause. This may involve recursively creating result tables corresponding to subqueries. All tables generated ....

Levine, John R, Tony Mason and Doug Brown. Lex and Yacc. O'Reilly and Associates, Inc, 1995.

....generated. For portability, maintainability, and ease of development, comview (and planview) are implemented using standard software packages. The graphical user interface and the interactive facilities are implemented with Tcl Tk library [8] The log file parser is written using lex and yacc [7]. Only a relatively small portion of the tools needed to be written directly in C. As mentioned, we feel it is important to present a gestalt view of the message traffic to facilitate finding potential trouble spots. comview does this primarily through its graphical layout, which takes advantage ....

T. Mason and D. Brown. lex & yacc. O'Reilly and Associates, Sebastopol, CA, 1990.

....for the operation. Thus the lexer always returns LBRACKET and RBRACKET in this case. When the lexer reaches a new line character, it knows that it has reached the end of a complete signature. At this point it switches to a start state where square brackets are OPENSYMs and CLOSESYMs. Please see [9] for more details on the use of start states. The initial testing of the operator signature parser revealed a minor problem. The system was consistently returning parse errors for input that looked correct. The problem turned out to be that the LSL Checker automatically broke long lines by ....

John R. Levine, Tony Mason, and Doug Brown. lex and yacc. O'Reilly and Associates, Inc., CA, 1992.

....systems, bytecodes for virtual machines were used both for reducing complexity and for increasing portability. This path was also used in porting the BCPL compiler (Richards Whitby Strevens 1980) Code for compilation of extension programs can be built with standard tools, such as lex and yacc (Levine Mason Brown 1992). The existence of good tools for compiler construction, which became widely available in the late seventies, was the main reason for the sprouting of several little languages, specially in Unix environments. Our implementation of Lua uses yacc for syntactical analysis. Initially, we wrote the ....

J. R. Levine, T. Mason, D. Brown, Lex & Yacc, O'Reilly and Associates, 1992.

....reader to be familiar with the concepts of feature structures [24] and unification [12] The process of fact retrieval is split into several steps. 1) A web page as shown in Figure 1 is transformed into a list of tokens (Section 2. 1) This can be done by an arbitrary lexical anlayser, like FLEX [16] for example. This method allows us to apply our techniques not only to HTML documents, but also to any kind of semi structured text documents. 2) After the transFig. 1. An advertisment web page formation, the matching and extraction process takes place. Extraction templates built from tokens and ....

J. Levine, T. Mason, and D. Brown. Lex & Yacc. O'Reilly and Associates., 1990.

....M Machine simulator, which only accepts debugformat executables in its current implementation. files. This has the advantage of catching more than one or two errors in the input file, relieving the user of the assembler from needing to reassemble input files after each error is found and fixed. [2] In addition, gramatically correct but semantically incorrect programs may be discovered. During the first pass, mas identifies and warns about incorrect argument types or number of arguments to operations. Second pass error detection and recovery includes flagging cases where long immediates ....

John R. Levine, Tony Mason, and Doug Brown. lex & yacc. O'Reilly and Associates, Sebastopol, California, second edition, October 1992.

....program f2c is a horror, based on ancient code and hacked unmercifully. Users are only supposed to look at its C output, not at its appalling inner workings. Stuart Feldman [20] Due to the context sensitive nature of the Fortran language, the lexer was hand written (in C) as recommended in [23, 24]: It should be noted that tokenizing Fortran is such an irregular task that it is frequently easier to write an ad hoc lexical analyzer for Fortran in a conventional programming language than it is to use an automatic lexical analyzer generator. Alfred Aho, 1988 [23] This allowed expression ....

J. R. Levine. lex & yacc. O'Reilly and associates, Cambridge, MA, 2d edition, 1992.

No context found.

T. Mason, D. Brown and J. Levine, Lex & Yacc, O'Reilly and Associates, Inc., Sebastopol, California, 1990.

No context found.

T. Mason and D. Brown. Lex & Yacc. O'Reilly and Associates, Inc., 632 Petaluma Ave, CA, 1990.

No context found.

Levine John R, Tony Mason, and Doug Brown. Lex and Yacc. O'Reilly And Associates, 1992.

No context found.

John Levine, Tony Mason, and Doug Brown. 1992. Lex & Yacc. O'Reilly and Associates, second edition.

No context found.

J. Levine, T. Mason, and D. Brown. Lex & Yacc. O'Reilly and Associates., 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