@misc(opa,
 title        = "Opa Web application programming platform",
 howpublished = "\url {http://opalang.org/}",
)
@article(DBLP:journals/tse/AtkinsBBC99,
 author       = "David L. Atkins and Thomas Ball and Glenn Bruns and Kenneth C. Cox",
 year         = "1999",
 title        = "Mawl: A Domain-Specific Language for Form-Based Services",
 journal      = "IEEE Trans. Software Eng.",
 volume       = "25",
 number       = "3",
 pages        = "334--346",
 url          = "http://dx.doi.org/10.1109/32.798323",
)
@inproceedings(DBLP:conf/tldi/BaltopoulosG09,
 author       = "Ioannis G. Baltopoulos and Andrew D. Gordon",
 year         = "2009",
 title        = "Secure Compilation of a Multi-Tier Web Language",
 booktitle    = "TLDI",
 pages        = "27--38",
 url          = "http://dx.doi.org/10.1145/1481861.1481866",
)
@article(DBLP:journals/toit/BrabrandMS02,
 author       = "Claus Brabrand and Anders M{\o }ller and Michael I. Schwartzbach",
 year         = "2002",
 title        = "The $<$bigwig$>$ project",
 journal      = "ACM Trans. Internet Techn.",
 volume       = "2",
 number       = "2",
 pages        = "79--114",
 url          = "http://dx.doi.org/10.1145/514183.514184",
)
@misc(ur,
 author       = "Adam Chlipala",
 title        = "The Ur Programming Language Family",
 howpublished = "\url {http://www.impredicative.com/ur/}",
)
@inproceedings(DBLP:conf/osdi/Chlipala10,
 author       = "Adam Chlipala",
 year         = "2010",
 title        = "Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications",
 booktitle    = "OSDI",
 pages        = "105--118",
)
@misc(hiphop,
 author       = "Facebook",
 title        = "HipHop",
 howpublished = "\url {https://developers.facebook.com/blog/post/358/}",
)
@inproceedings(DBLP:conf/sigmod/GernerYDGRS06,
 author       = "Nicholas Gerner and Fan Yang and Alan J. Demers and Johannes Gehrke and Mirek Riedewald and Jayavel Shanmugasundaram",
 year         = "2006",
 title        = "Automatic client-server partitioning of data-driven web applications",
 booktitle    = "SIGMOD Conference",
 pages        = "760--762",
 url          = "http://dx.doi.org/10.1145/1142473.1142580",
)
@article(DBLP:journals/cacm/Hoare09,
 author       = "C. A. R. Hoare",
 year         = "2009",
 title        = "Viewpoint - Retrospective: an axiomatic basis for computer programming",
 journal      = "Commun. ACM",
 volume       = "52",
 number       = "10",
 pages        = "30--32",
)
@inproceedings(DBLP:conf/lpar/Leino10,
 author       = "K. Rustan M. Leino",
 year         = "2010",
 title        = "Dafny: An Automatic Program Verifier for Functional Correctness",
 booktitle    = "LPAR (Dakar)",
 pages        = "348--370",
 url          = "http://dx.doi.org/10.1007/978-3-642-17511-4_20",
)
@inproceedings(DBLP:conf/tosca/LuoRS11,
 author       = "Zhengqin Luo and Tamara Rezk and Manuel Serrano",
 year         = "2011",
 title        = "Automated Code Injection Prevention for Web Applications",
 booktitle    = "TOSCA",
 pages        = "186--204",
)
@misc(Petr(íc(ek_afax:rich,
 author       = "Tomáš Petr(íc(ek and Don Syme",
 title        = "AFAX: Rich client/server web applications in F\#",
)
@inproceedings(DBLP:conf/lics/Reynolds02,
 author       = "John C. Reynolds",
 year         = "2002",
 title        = "Separation Logic: A Logic for Shared Mutable Data Structures",
 booktitle    = "LICS",
 pages        = "55--74",
 url          = "http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029817",
)
@inproceedings(DBLP:conf/mm/Serrano07,
 author       = "Manuel Serrano",
 year         = "2007",
 title        = "Programming web multimedia applications with Hop",
 booktitle    = "ACM Multimedia",
 pages        = "1001--1004",
 url          = "http://dx.doi.org/10.1145/1291233.1291450",
)
@misc(garble,
 author       = "James Smith",
 title        = "The Garble personalised social gateway",
 howpublished = "\url {http://www.mygarble.com/}",
)
@misc(jms,
 author       = "James Smith",
 title        = "Jasper Music Store",
 howpublished = "\url {http://www.jaspermusicstore.com/}",
)
@misc(jasper,
 author       = "James Smith",
 title        = "The Jasper website",
 howpublished = "\url {http://jasper.mygarble.com/}",
)
@misc(jasper-api,
 author       = "James Smith",
 title        = "The Jasper website API Documentation",
 howpublished = "\url {http://jasper.mygarble.com/article/api}",
)
@inproceedings(DBLP:conf/gttse/Visser07,
 author       = "Eelco Visser",
 year         = "2007",
 title        = "WebDSL: A Case Study in Domain-Specific Language Engineering",
 booktitle    = "GTTSE",
 pages        = "291--373",
 url          = "http://dx.doi.org/10.1007/978-3-540-88643-3_7",
)