[sc34wg3] Look Ma! No Properties!

[Robert Barta]

On Fri, Jul 16, 2004 at 01:22:44PM +0200, Jan Algermissen wrote:
> Robert Barta wrote:
> 
> > although \tau is not really meant to be implemented 1:1.
> 
> Yes, surely not..."it is the abstract machine..." :-)
> 
> OTH, 1:1 implementations are very revealing and educating.

Very true. My claim is also that if you implement this path language
that you have a fully functional query language for TMs. Not with all
the bells and whistles, of course, and difficult to digest for SQL
programmers, but you should be able to reach all results we had
defined in the use case document.

\rho