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