The Jasper Framework: Towards a Platform Independent, Formal Treatment of Web Programming
James Smith

TL;DR
Jasper is a platform-independent web programming framework designed for formal analysis, demonstrated through a multi-platform music store application and supported by plans for automated formal tools.
Contribution
It introduces Jasper, a novel framework enabling platform-independent web development with a formal treatment approach, and demonstrates its implementation across multiple platforms.
Findings
Jasper can be implemented on several common platforms.
The Jasper Music Store showcases practical application of Jasper.
Plans for automated formal analysis tools are outlined.
Abstract
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 formal treatment. It outlines Jasper conceptually and shows how Jasper is implemented on several commonplace platforms. It also introduces the Jasper Music Store, a web application powered by Jasper and implemented on each of these platforms. And it briefly describes a formal treatment and outlines the tools and languages planned that will allow this treatment to be automated.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
