[abc] RV05 publication (fwd)

and here is eric's paper, for interest.

---------- Forwarded message ----------
Date: Fri, 15 Apr 2005 14:29:24 +0200
From: Eric Bodden <eric@bodden.de>
To: 'Oege de Moor' <Oege.de.Moor@comlab.ox.ac.uk>,
     'Prof. Laurie HENDREN' <hendren@sable.mcgill.ca>
Subject: RV05 publication

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi Oege / Laurie.

Please find attached my latest piece of work and please let me know
if there is anything to improve w.r.t. references etc. The paper is
submitted but we have still a few weeks to get it camera-ready.

Our implementation of our LTL formalism is pretty much finished now:
We have an automaton-model based on "alternating automata" (see
paper) that is actually even more general than the automata you
described in the tracematch paper. In particular the automata you use
in your model are just a special kind of such alternating automata
(with singleton conjuncts only). Using alternating automata makes
modelling of the constraints you use quite straightforward, since the
automaton directly supports such constraints (by just adding
additional conjuncts). So in a nutshell the underlying implementation
using constraints is pretty much independend from the input model,
which could be regular expressions, LTL or some other logic over
finite paths. As a result, I believe it could be worthwhile to think
about a unification of our approaches. I will be doing most of this
anyway for my thesis, comparing your regular expression model with
the LTL model we use.

What I found interesting is that using alternating automata, I found
no need at all to introduce a "skip" symbol or anything like this,
which is due to richer model, I believe. Would be interesting to
discuss this with you.

Thanks a lot,
Eric

- --
Eric Bodden
Chair I2 for Programming Languages and Program Analysis
RWTH Aachen University

-----BEGIN PGP SIGNATURE-----
Version: PGP 8.0.3

iQA/AwUBQl+zo8wiFCm7RlWCEQL72wCff32BXZi/Reo32nCgqsdJTOyqQpYAnR5+
UPAlN+/m9Z8O5mOn4SJc9esH
=wnJC
-----END PGP SIGNATURE-----