JFLAP is software for experimenting with formal languages topics including nondeterministic finite automata, nondeterministic pushdown automata, multi-tape Turing machines, several types of grammars, parsing, and L-systems. In addition to constructing and testing examples for these, JFLAP allows one to experiment with construction proofs from one form to another, such as converting an NFA to a DFA to a minimal state DFA to a regular expression or regular grammar.

<http://www.jflap.org/>

Universal Grammar in Prolog

<http://www.nyu.edu/pages/linguistics/ling.html>

A Lexical Analyzer for HTML and Basic SGML

<http://www.w3.org/MarkUp/SGML/sgml-lex/sgml-lex#KnR2>

PCCTS Resources and "Notes for New Users of PCCTS"

<http://www.mcs.net/~tmoog/pccts.html>

An investigation into the role of Software Metrics in software quality improvement

A research project for the degree of Master of Science being undertaken by Tim Littlefair, under the supervision of Dr Thomas O'Neill at Edith Cowan University.

<http://www.fste.ac.cowan.edu.au/~tlittlef/>

Pattern Language

<http://c2.com/cgi/wiki?PatternLanguage>

ASSOCIATIONS

Magelang Institute Antlr

<http://www.antlr.org/>

DEMOS

Demonstration of Parsing Algorithms

The applets accessible from this page demonstrate the following parsing algorithms:

1. Recursive-descent parsing.

2. LL(1) table-driven parsing.

3. Shift-reduce parsing.

<http://ag-kastens.uni-paderborn.de/lehre/material/uebi/parsdemo/index.html>

LOGICIELS - SOFTWARES

PC-PATR A syntactic parser

UNIX sources

<http://www.sil.org/pcpatr/pc-patr.html>

An SGML System Conforming to International Standard ISO 8879 -- Standard Generalized Markup Language

<http://www.jclark.com/sp/>

Nerds for Hire

PCCT

<http://www.empathy.com/index.html>

Jim Roskind's LALR(1) C++ Grammar

Gzipped tar archive

<http://www.empathy.com/pccts/roskind.html>

source and binary distributions of CCCC

cccc_206.tar.gz

pccts-1.33.tar.gz

<ftp://www.fste.ac.cowan.edu.au/pub/tlittlef/>

jProlog, a Prolog to Java compiler.

<http://www.cs.kuleuven.ac.be/~bmd/PrologInJava/>

bison++flex++

GNU's Yacc parser generator retargeted to C++ by Alain Coetmeur

free on-line dictionary of computing Paris XIII / CNRS

<ftp://iecc.com/pub/file/bison++flex++/>

flex++ bison++ Latest (th-darmstadt)

<ftp://ftp.th-darmstadt.de/pub/programming/languages/C++/tools/flex++bison++/LATEST/>

flex++ bison++ Latest (sunsite)

<http://sunsite.bilkent.edu.tr/pub/languages/c++/tools/flex++bison++/LATEST/>

C++ Parser Download Page

C++ Grammar Download Page. cppgrammar Cpptests.tar.gz

<http://www.Empathy.com/pccts/download.html>

<ftp://ftp.parr-research.com/pub>

C / C++ doc

YACC doc

<http://www.uafcs.alaska.edu/~cs631/yacc-docs.txt>

LEX doc

<http://www.uafcs.alaska.edu/~cs631/lex-docs.txt>

Bison 1.24 - Top

This manual documents version 1.24 of Bison.

<http://einstein.cs.rhbnc.ac.uk/susehelp/gnu/bison/Top.html>

c++grammar ...

c++grammar.tar.gz

<ftp://iecc.com/pub/file/>

JAVA

The Java Virtual Machine Specification

<http://java.sun.com/docs/books/vmspec/>

THÈSES - THESIS

Languages for Compiler Writing (In French)

Thesis at University of Gernoble, 1967 Jadques Cohen

Professor Cohen has played an active role in the Association of Computing Machinery (ACM), the professional society congregating computer scientists. He served for several years as Editor-in-Chief of the association's main journal, the Communications of the ACM.

<http://www.cs.brandeis.edu/~jc/docs/theses/index.html>

José Fortes Galvez

tesis Enlaces de interés (...lenguajes de programación: C (varios) C++ (grupo ISO) Java (en HTML) C# Ada Haskell...)

<http://serdis.dis.ulpgc.es/~ii-pl/ftp/dr/>

A Practical method for Constructing Efficient LALR(k) Parsers with Automatic Error Recovery

Philippe Charles PhD thesis, New York University, May 1991.

This thesis details several improvements in the field of automatic parser generation, which are embodied in the JikesPG parser. Techniques are described for reducing the space requirements of the parser while allowing token lookahead of more than one token, improving the incremental construction of such a parser from a grammar, and for allowing error recovery in the parser while maintaining fast parsing speed for bottom-up parsing. (summary by Eric Blake). conference paper.pdf A paper presented at "Second International Workshop on Parsing Technologies"; 13-15 February 1991.

JikesTM is a compiler that translates JavaTM source files as defined in The Java Language Specification into the bytecoded instruction set and binary format defined in The Java Virtual Machine Specification. Jikes is OSI Certified Open Source Software

<http://jikes.sourceforge.net/documents/thesis.pdf>

LIVRES - BOOKS

Compilers and compiler generators

an introduction with C++ - P.D. Terry, Rhodes University,

<http://scifac.ru.ac.za/compilers/contg.htm>

Modern Compiler Design

Dick Grune, Henri E. Bal, Ceriel J.H. Jacobs, and Koen G. Langendoen

French translation, titled Compilateurs, published by Dunod.

<http://www.cs.vu.nl/~dick/MCD.html>

DOCUMENTS - PAPERS

Illinois Concert C++ Language Definition

<http://www-csag.ucsd.edu/projects/concert/icc/icc-def.ps>

Pattern matching in strings

M. Crochemore and C. Hancart, Compact Directed Acyclic Word Graphs

<http://www-igm.univ-mlv.fr/~mac/REC/C9.html>

A hierarchy of Deterministic Context-free omega-languages

Home Page of Jacques Duparc / Logic team of Paris VII

<http://www.logique.jussieu.fr/www.duparc/>

Non canonical LALR(1) parsing

Sylvain Schmitz - I3S Projet Langages Rapport de recherche

nlalr1.pdf This paper addresses the longstanding problem of the recognition limitations of classical LALR(1) parser generators by proposing the usage of noncanonical parsers.

<http://www.i3s.unice.fr/~mh/RR/2005/RR-05.21-S.SCHMITZ.pdf>

COURS - COURSES

Design and Construction of Compilers

Leonidas Fegaras - Texas at Arlington

Table Construction

<http://lambda.uta.edu/cse5317/notes/notes.html>

Compilers

Barbara G. Ryder

<http://www.cs.rutgers.edu/~ryder/415/lectures/index.html>

Languages and Compiler Design

Andrew Tolmach, Languages and Compiler Design II

<http://web.cecs.pdx.edu/~apt/cs321_2004/>

TUTORIELS - TUTORIALS

Implementing functional languages: a tutorial

Simon Peyton Jones and David Lester. Published by Prentice Hall, 199 Now, alas, out of print. However the full text of the book is available here

This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of practical labwork material, to help make functional-language implementations `come alive', by helping the reader to develop, modify and experiment with some non-trivial compilers.

<http://research.microsoft.com/Users/simonpj/Papers/pj-lester-book/>

QUESTIONS - FAQ

faq

<ftp://iecc.com/pub/file/faq>

ANTLR Translator Generator FAQ

<http://www.jguru.com/jguru/faq/faqpage.jsp?name=ANTLR>

FIRMES - FIRMS

Parsifal Software

AnaGram

LALR(1) Parser Generator for Syntax Directed Parsing

<http://www.parsifalsoft.com/>

ProGrammar

<http://www.programmar.com/grammar.htm>

LIENS - LINKS

Logic Programming

<http://www.comlab.ox.ac.uk/archive/logic-prog.html>

Actualités

Advertising : If you see a reference in one of the files that is not linked, and you know of a link address to the appropriate document, please send me mail, and I will include the link in the document. Thanks very much in advance.
Avertissement : Le classement par catégories est approximatif. Certains liens se retrouvent dans des rubriques différentes et sur plusieurs pages. Les commentaires sont généralement des courts extraits des pages référencées. Il est possible que certains liens nécessitent une mise à jour.
Tous commentaires ou remarques sont les bienvenus, vous pouvez les adresser à :
écrire

Les mises à jour demandées sont réalisées dès que possible et, sauf si c'est nécessaire, aucun message de réponse n'est expédié. Merci de m'écrire.

Copyright © 1999-2009 Jean-Paul Davalan - Reproduction interdite.