Subject: SEN1 Meeting tomorrow, Fernando Soler Toscano & Bas Basten
From: Bas Basten
To: sen1-list 
Date: Wed, 15 Jun 2011 14:07:14 +0200 (CEST)

Dear all,

At tomorrow's SEN1 Meeting we will have two short talks of 30 minutes
each. Fernando Soler Toscano, who is visiting us from the Universidad de
Sevilla in Spain, will give the first talk, and I will give the second
talk. The titles and abstracts are as follows:

------------------------------------------------------------------------ 

Title: Ambiguity Detection: Scaling to Scannerless

Speaker: Bas Basten

Abstract:
Static ambiguity detection would be an important aspect of language
workbenches for textual software languages. The challenge is that
automatic ambiguity detection in context-free grammars is undecidable.
Sophisticated approximations and optimizations do exist, but these do
not scale to grammars for so-called "scannerless parsers", as of yet.
We extend previous work on ambiguity detection for context-free grammars
to cover disambiguation techniques that are typical for scannerless
parsing, such as longest match and reserved keywords.
Our contributions are a new algorithm for ambiguity detection in
character-level grammars, a prototype implementation of this algorithm
and validation on several real grammars. The total run-time of ambiguity
detection for character-level grammars for languages such as C and Java
is dramatically reduced, without loss of precision.
The result is that ambiguity detection for character-level grammars may
now become a tool in language workbenches.

------------------------------------------------------------------------

We start at 10am in room L016. See you all there!

Cheers,
Bas