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

P-code machine in XForms

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

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