- Darius's thesis, is about
generic parsing of very wide classes of context-free grammars. At this stage, there is not
much online information available about this project, but I plan to make the Postscript
image available as soon as something even remotely readable gets ready.
- Jean-Christophe Real is currently studying the
ability to include pre- and post-conditions in Yafl in a way that is formal enough to
allow an automatic or semi-automatic tool to prove class and system invariants formally.
For instance, as a nice addition when compared with Eiffel's pre- and post-conditions,
Jean-Christophe's scheme includes quantifiers. It is likely that we will have to restrict
Yafl in some places to make such an automatic proof system possible. Incidentally, we also
have plans related to the formalization of a state mechanism in the Yafl type system.