References

  1. Opa Web application programming platform. http://opalang.org/.
  2. David L. Atkins, Thomas Ball, Glenn Bruns & Kenneth C. Cox (1999): Mawl: A Domain-Specific Language for Form-Based Services. IEEE Trans. Software Eng. 25(3), pp. 334–346. Available at http://dx.doi.org/10.1109/32.798323.
  3. Ioannis G. Baltopoulos & Andrew D. Gordon (2009): Secure Compilation of a Multi-Tier Web Language. In: TLDI, pp. 27–38. Available at http://dx.doi.org/10.1145/1481861.1481866.
  4. Claus Brabrand, Anders Møller & Michael I. Schwartzbach (2002): The <bigwig> project. ACM Trans. Internet Techn. 2(2), pp. 79–114. Available at http://dx.doi.org/10.1145/514183.514184.
  5. Adam Chlipala: The Ur Programming Language Family. http://www.impredicative.com/ur/.
  6. Adam Chlipala (2010): Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications. In: OSDI, pp. 105–118.
  7. Facebook: HipHop. https://developers.facebook.com/blog/post/358/.
  8. Nicholas Gerner, Fan Yang, Alan J. Demers, Johannes Gehrke, Mirek Riedewald & Jayavel Shanmugasundaram (2006): Automatic client-server partitioning of data-driven web applications. In: SIGMOD Conference, pp. 760–762. Available at http://dx.doi.org/10.1145/1142473.1142580.
  9. C. A. R. Hoare (2009): Viewpoint - Retrospective: an axiomatic basis for computer programming. Commun. ACM 52(10), pp. 30–32.
  10. K. Rustan M. Leino (2010): Dafny: An Automatic Program Verifier for Functional Correctness. In: LPAR (Dakar), pp. 348–370. Available at http://dx.doi.org/10.1007/978-3-642-17511-4_20.
  11. Zhengqin Luo, Tamara Rezk & Manuel Serrano (2011): Automated Code Injection Prevention for Web Applications. In: TOSCA, pp. 186–204.
  12. Tomáš Petr(íc(ek & Don Syme: AFAX: Rich client/server web applications in F#.
  13. John C. Reynolds (2002): Separation Logic: A Logic for Shared Mutable Data Structures. In: LICS, pp. 55–74. Available at http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029817.
  14. Manuel Serrano (2007): Programming web multimedia applications with Hop. In: ACM Multimedia, pp. 1001–1004. Available at http://dx.doi.org/10.1145/1291233.1291450.
  15. James Smith: The Garble personalised social gateway. http://www.mygarble.com/.
  16. James Smith: Jasper Music Store. http://www.jaspermusicstore.com/.
  17. James Smith: The Jasper website. http://jasper.mygarble.com/.
  18. James Smith: The Jasper website API Documentation. http://jasper.mygarble.com/article/api.
  19. Eelco Visser (2007): WebDSL: A Case Study in Domain-Specific Language Engineering. In: GTTSE, pp. 291–373. Available at http://dx.doi.org/10.1007/978-3-540-88643-3_7.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org