2 papers
cs.NI2013
Proving Properties of Rich Internet Applications
James Smith
We introduce application layer specifications, which allow us to reason about the state and transactions of rich Internet applications. We define variants of the state/event based…
cs.SE2012
The Jasper Framework: Towards a Platform Independent, Formal Treatment of Web Programming
James Smith
This paper introduces Jasper, a web programming framework which allows web applications to be developed in an essentially platform indepedent manner and which is also suited to a f…