BNF Converter

News

• 18/1/2008 Release of a Darcs snapshot of BNFC 2.4 (beta). See Download below.
• 5/6 2007 Release of the Darcs repository (see under Download below). This is currently the main distribution channel of BNFC.
• BNF Converter is now part of the stable distribution of Debian. Link
  

What is the BNF Converter?

The BNF Converter is a compiler construction tool generating a compiler front-end from a Labelled BNF grammar. It is currently able to generate C, C++, C#, F#, Haskell, Java, and OCaml, as well as XML representations.

Given a Labelled BNF grammar the tool produces:

• an abstract syntax implementation
• a case skeleton for the abstract syntax in the same language
• an Alex, JLex, or Flex lexer generator file
• a Happy, CUP, or Bison parser generator file
• a pretty-printer as a Haskell/Java/C++/C module
• a Latex file containing a readable specification of the language

User manuals

• Tutorial
• Report on the LBNF formalism: LBNF-report.pdf
• Technical Report
  
• Haskell Mode
• Haskell GLR Mode
  
• Java 1.4 Mode
• Java 1.5 Mode
  
• C Mode
• C++ Mode
• O'Caml Mode (2.3b)
• XML Mode

Download

Darcs repository (the latest version of BNFC):

darcs get --partial http://www.cs.chalmers.se/Cs/Research/Language-technology/darcs/BNFC/

Darcs snapshot 18/1/2008:

• BNFC_2.4b.tgz source package
• BNFC_2.4b.exe Windows binary
• BNFC_2.4b-linux-i386.gz Linux (i386) binary
• BNFC_2.4b-macosx-i386.gz Mac OS X (i386) binary

Large examples

A grammar of C. An example C file parsable in type Program.

A grammar of Alfa (For more details, see the Alfa home page.)

A grammar of LBNF. It is at the same time an example LBNF file, parsable in type Grammar. This grammar is used in the implementation of the BNF Converter.

A grammar of Java 1.1 developed by Mike Rainey

Authors

License