Jasper 框架：迈向平台独立且形式化的 Web 编程处理
软件工程
2012-12-07 v1 计算机科学中的逻辑
编程语言
摘要
本文介绍了 Jasper，这是一个 Web 编程框架，允许以本质上平台独立的方式开发 Web 应用程序，同时也适用于形式化处理。本文从概念上概述了 Jasper，并展示了 Jasper 如何在几种常见平台上实现。本文还介绍了 Jasper Music Store，这是一个由 Jasper 驱动并在每个这些平台上实现的 Web 应用程序。此外，本文简要描述了一种形式化处理，并概述了计划中的工具和语言，以实现该处理的自动化。
引用
@article{arxiv.1210.6112,
title = {The Jasper Framework: Towards a Platform Independent, Formal Treatment of Web Programming},
author = {James Smith},
journal= {arXiv preprint arXiv:1210.6112},
year = {2012}
}
备注
In Proceedings WWV 2012, arXiv:1210.5783. Added doi references where possible