that fall into that class.
Acknowledgments
This material is based upon work partially supported by
the National Science Foundation under Grant Nos. CCF-
1138967, CCF-1012759, and CCF-0746856. We would like
to thank anonymous reviewers for their thoughtful com-
ments on the draft of this paper.
References
[1] MongoDB home page.
.
[2] SNAP’N’SHOT home page.
.
me/
.
[3] Ruby’s native templating system.
.
org/stdlib-1.9.3/libdoc/erb/rdoc/ERB.
html
.
[4] Haml template engine for Ruby.
.
[5] Meteor
-
Pure
JavaScript
web
framework.
http://
meteor.com
.
[6] Ruby on Rails web framework.
.
org/
.
[7] Template
engine
for
web
applications.
http:
//en.wikipedia.org/wiki/Template_engine_
%28web%29
.
[8] S. Abiteboul, O. Benjelloun, and T. Milo.
Positive active
XML.
In
Proceedings of the Symposium on Principles of
Database Systems
, pages 35–45, 2004.
[9] S. Abiteboul, M. Bienvenu, A. Galland, and E. Antoine.
A
rule-based language for Web data management. In
Proceed-
ings of the Symposium on Principles of Database Systems
,
pages 293–304, 2011.
[10] P. Alvaro, T. Condie, N. Conway, K. Elmeleegy, J. Heller-
stein, and R. Sears. Boom analytics: exploring data-centric,

declarative programming for the cloud. In
Proceedings of the
European Conference on Computer Systems
, pages 223–236,
2010.
[11] R. Balzer, T. E. Cheatham, Jr., and C. Green. Software tech-
nology in the 1990’s: Using a new paradigm.
IEEE Computer
,
16(11):39–45, 1983.
[12] C. Barrett and S. Berezin.
CVC Lite: A new implementa-
tion of the cooperating validity checker.
In
Proceedings of
the International Conference on Computer Aided Verification
,
pages 515–518, 2004.
[13] F. P. Brooks, Jr.
The mythical man-month (anniversary ed.)
.
Addison-Wesley, 1995.
[14] E. Cheong, J. Liebman, J. Liu, and F. Zhao.
TinyGALS: a
programming model for event-driven embedded systems. In
Proceedings of the Symposium on Applied Computing
, pages
698–704, 2003.
[15] J. Clause, W. Li, and A. Orso.
Dytan: A generic dynamic
taint analysis framework. In
Proceedings of the International
Symposium on Software Testing and Analysis
, pages 196–206,
2007.
[16] E. Czaplicki.
Elm: Concurrent FRP for functional GUIs.
2012.
[17] F. Dabek, N. Zeldovich, F. Kaashoek, D. Mazières, and
R. Morris. Event-driven programming for robust software. In
Proceedings of the SIGOPS European Workshop
, pages 186–
189, 2002.
[18] D. J. Dougherty, K. Fisler, and S. Krishnamurthi. Specifying
and reasoning about dynamic access-control policies. In
Pro-
ceedings of the International Joint Conference on Automated
Reasoning
, pages 632–646, 2006.
[19] B. Dutertre and L. de Moura. A fast linear-arithmetic solver
for DPLL(T). In
Proceedings of the International Conference
on Computer Aided Verification
, pages 81–94, 2006.
[20] J. Edwards.
Coherent reaction.
In
Conference Companion
on Object Oriented Programming Systems Languages and
Applications
, pages 925–932, 2009.
[21] C. Elliott and P. Hudak.
Functional reactive animation.
In
Proceedings of the International Conference on Functional
Programming
, pages 263–273, 1997.
