P-code machine in XForms from T.V Raman on 2012-02-02 (public-forms@w3.org from February 2012)

From: T.V Raman <raman@google.com>
Date: Wed, 1 Feb 2012 16:23:13 -0800
To: Steven.Pemberton@cwi.nl
Cc: public-forms@w3.org
Message-ID: <20265.55153.788688.960399@retriever.mtv.corp.google.com>

It Runs! It May Never Even Halt!  Xforms For Ever:-)

Steven Pemberton writes:
 > 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 Thursday, 2 February 2012 00:23:51 UTC