W3C home > Mailing lists > Public > public-forms@w3.org > January 2012

P-code machine in XForms

From: Steven Pemberton <Steven.Pemberton@cwi.nl>
Date: Wed, 04 Jan 2012 16:43:29 +0100
To: "Forms WG" <public-forms@w3.org>
Message-ID: <op.v7kgmrr4smjzpq@steven-portege-z835>
Wonder at and enjoy this:

	http://www.blackmesatech.com/2011/12/pl0/index.xhtml

Michael SperbergMcQueen has been at it again. In this case, a Pascal  
P-code interpreter in XForms...

(Coincidentally I wrote a book on The P-Code machine in the early 80's:  
http://www.cwi.nl/~steven/pascal/)

I believe that this is the first formal proof that XForms is Turing  
complete (I have long had plans to write a Turing machine in XForms to do  
that, but now I don't have to!).

Happy new year!

Steven
Received on Wednesday, 4 January 2012 15:44:06 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 October 2013 22:06:56 UTC