Filewatcher File Search File Search
Catalog
Content Search
» » » » »

kelbt

backtracking LR parser generator

Variants:
Kelbt generates backtracking LALR(1) parsers. Standard LALR(1) parser generators emit an error upon encountering a conflict in the parse tables. Kelbt forges onward, generating parsers which handle conflicts by backtracking at runtime. Kelbt is able to generate a parser for any context-free grammar and therefore implements a generalized parsing method.

Kelbt is different from other backtracking LR systems in two ways. First, it elevates backtracking to the level of semantic actions by introducing a class of actions called undo actions. Undo actions are invoked as the backtracker undoes parsing and allow the user to revert any side effects of forward semantic actions. This makes it possible to backtrack over language constructs which must modify global state in preparation for handling context dependencies.

Second, Kelbt enables a user-controlled parsing strategy which approximates that of generalized recursive-descent parsing with ordered choice. This makes it easy for the user to resolve language ambiguities by ordering the grammar productions of a non-terminal according to precedence. It is approximate in the sense that for most grammars the equivalent of an ordered choice parsing strategy is achieved. In cases where productions are parsed out of the order given, there is a simple grammar transformation which remedies the problem.

As a proof of concept, Kelbt has been used to write a partial C++ parser (included) which is composed of strictly a scanner, a name lookup stage and a grammar with standard semantic actions and semantic undo actions.

Homepage:-
Package version:0.14-1
Architecture:i386
Distribution:Debian
Filename:kelbt_0.14-1_i386.deb

/usr/share/doc/kelbt/README.Debian

kelbt paper
-----------

The author of Kelbt has written a rather nice paper, which is really helpful
when trying to understand kelbt. Unfortunately it can't be distributed with this
package because of licensing issues, but you can get it from 
http://www.cs.queensu.ca/~thurston/thurston_CASCON_06_btlr.pdf

 -- Robert Lemmen <robertle@semistable.com>, Thu, 6 Sep 2007 09:15:23 +0100

/usr/share/doc/kelbt/cxxprep/README

                            C++ Pre-Parser
                            ==============

C++ Pre-Parser is a program for making the analysis and transformation of C++
somewhat easier.  The pre-parser specializes symbols to their various uses,
resolves names to the language entities they represent and adds symbols to the
input. 

The "undo" program is can be used to remove the disambiguation symbols 
more»

/usr/share/man/man1/kelbt.1.gz

KELBT(1)          Backtracking LR Parser Generator          KELBT(1)



NAME
       kelbt - generate backtracking LR parsers

SYNOPSIS
       kelbt [options]files

DESCRIPTION
       This manual page very briefly documents kelbt, a backtracking
       LR parser generator. For a better reference on how to use it,
       see    the    provided    examples    and    the   paper   at
       http://www
more»

/usr/share/doc/kelbt/changelog.Debian.gz

kelbt (0.14-1) unstable; urgency=low

  * New upstream release

 -- Robert Lemmen <robertle@semistab
more»

/usr/share/doc/kelbt/changelog.gz

Kelbt 0.14 - Oct 1, 2009
========================
 -Added the -I option for specifying directories t
more»

/usr/share/doc/kelbt/cxxprep/ChangeLog

CxxPrep 0.1 - Sep 14, 2005
==========================
 -Initial public release of code.

/usr/share/doc/kelbt/TODO

Should be possible to define a nonterminal type as some kind of simple type, As
it is, the user is f
more»

/usr/share/doc/kelbt/cxxprep/TODO

Handle overloading ',' operator.

Tell cxxprep that we are interested in certain files.

Option to p
more»

Browse inside kelbt_0.14-1_i386.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download kelbt_0.14-1_i386.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com