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