Verily: a web framework for creating more reasonable web applications

摘要: The complexity of web application construction is increasing at an astounding rate. Developing for the typically crosses multiple tiers in a variety languages, which can result disjoint code bases. This lack standardization introduces new challenges reasoning. In this paper we introduce Verily, framework Java that supports development verifiable applications. Rather than requiring programs be verified separate posteriori analysis, Verily via series Recipes, are properties enforced compile time. addition to introducing framework, also present two Recipes: Core Recipe, architecture applications designed replace traditional server-side Model View Controller, and Global Mutable State enables developers use sessions within their without resorting unrestricted global mutable state. Demo Video: http://www.youtube.com/watch?v=TjRF7E4um3c