Acknowledgments This material is based upon work partially supported by the

Acknowledgments this material is based upon work

This preview shows page 17 - 19 out of 19 pages.

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,
Image of page 17
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.
Image of page 18
Image of page 19

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture