Permalink
Browse files

Finished migrating Java and FL convergence scenarios

git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@807 ab42f6e0-554d-0410-b580-99e487e6eeb2
  • Loading branch information...
grammarware committed Jul 8, 2010
1 parent 6388e5f commit 6ceba4e7f632399c1f203c1d072f9f0c3f44505f
Showing with 19 additions and 1 deletion.
  1. +6 −1 topics/fl/README.txt
  2. +13 −0 topics/java/README.txt
View
@@ -1,6 +1,11 @@
FL -- The factorial language.
FL --- The Factorial Language.
This is a toy functional language.
It provides first-order function definitions on integers.
There are built-in operations for equality, addition, substraction.
The language is powerful enough to define the factorial function.
For convergence of FL, go to:
topics/convergence/fl/
topics/convergence/fl-sliced/
View
@@ -0,0 +1,13 @@
This directory is obsolete. Let these GOTOs be considered helpful.
For grammars of Java, go to:
topics/grammars/java/jls?/*
For extraction of Java grammars from JLS sources, go to:
topics/extraction/bnf2bgf/*
For regular convergence of Java grammars, go to:
topics/convergence/java/*
For a sliced scenario of convergence of Java grammars, go to:
topics/convergence/java-sliced/*
For the scientific paper presenting the results of Java convergence, go to:
http://www.uni-koblenz.de/~laemmel/jls/

0 comments on commit 6ceba4e

Please sign in to comment.