Hi James, I think you meant to reply to the list.
For one, I wouldn't consider GUI programming based on HTML as
declarative, since more often than not, the format says nothing about
its behavior, and when it does, it's through javascript, which is
hardly declarative.
Regards,
Paul Liu
On Tue, Ju
VSTTE 2012
Verified Software: Theories, Tools and Experiments
January 28-29, 2012
Philadelphia, USA (co-located with POPL and VMCAI)
https://sites.google.com/site/vstte2012/
The Fourth International Conference on Verified Software: Theories,
Tools,