An operational semantics for javaScript

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5356 LNCS, Issue , 2008, Pages 307-325

  Maffeis, Sergio ^a   Mitchell, John C ^b   Taly, Ankur ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HIGH LEVEL LANGUAGES;

JAVASCRIPT; LANGUAGE STANDARDS; MASHUPS; OPERATIONAL SEMANTICS; SECURITY PROPERTIES; WEB APPLICATION;

SEMANTICS;

EID: 58549113236     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89330-1_22     Document Type: Conference Paper

References (24)

1. AdSafe: Making Java Script safe for advertising, http://www.adsafe.org/
2. Google-Caja, A.: source-to-source translator for securing Java Script-based Web, http://code.google.com/p/google-caja/
3. Jscript (Windows Script Technologies), http://msdn2.microsoft.com/en-us/ library/hbxc2t98.aspx
4. Rhino: Javascript for Java, http://www.mozilla.org/rhino/
5. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)
6. Adida, B.: Beam Auth: two-factor Web authentication with a bookmark. In: ACM Computer and Communications Security, pp. 48-57 (2007)
7. Anderson, C., Giannini, P., Drossopoulou, S.: Towards type inference for Java Script. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 428-452. Springer, Heidelberg (2005)
8. Eich, B.: Javascript at ten years, http://www.mozilla.org/js/language/ ICFP-Keynote.ppt
9. Fisher, K., Honsell, F., Mitchell, J.C.: A lambda calculus of objects and method specialization. Nordic J. Computing (formerly BIT) 1, 3-37 (1994)
10. Flanagan, D.: Java Script: The Definitive Guide. O'Reilly, Sebastopol (2006), http://proquest.safaribooksonline.com/0596101996
11. Herman, D.: Classic Java Script, http://www.ccs.neu.edu/home/dherman/ javascript/
12. Herman, D., Flanagan, C.: Status report: specifying Java Script with ML. In: ML 2007: Proc. Workshop on ML, pp. 47-52 (2007)
13. ECMA International. ECMAScript 4, http://www.ecmascript.org
14. ECMA International. ECMAScript language specification. stardard ECMA-262, 3rd Edition (1999), http://www.ecma-international.org/publications/ECMA-ST/ Ecma-262.pdf
15. Maffeis, S., Mitchell, J., Taly, A.: Complete ECMA 262-3 operational semantics and long version of present paper. Semantics: http://jssec.net/ semantics/Paper: http://jssec.net/semantics/
16. Mitchell, J.C.: Toward a typed foundation for method specialization and inheritance. In: POPL 1990, pp. 109-124 (1990)
17. Mozilla. Spidermonkey (javascript-c) engine, http://www.mozilla.org/js/ spidermonkey/
18. Reis, C., Dunagan, J., Wang, H., Dubrovsky, O., Esmeir, S.: Browsershield: Vulnerability-driven filtering of dynamic HTML. ACM Transactions on the Web 1(3) (2007)
19. Siek, J., Taha, W.: Gradual typing for objects. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol. 4609, pp. 2-27. Springer, Heidelberg (2007)
20. The Face Book Team. FBJS, http://wiki.developers.facebook.com/index.php/ FBJS
21. Thiemann, P.: Towards a, type system for analyzing Java Script programs. In: Sagiv, M. (ed.) ESOP 2005, vol. 3444, pp. 408-422. Springer, Heidelberg (2005)
22. Thiemann, P.: A type safe DOM api. In: Bierman, G., Koch, C. (eds.) DBPL 2005. LNCS, vol. 3774, pp. 169-183. Springer, Heidelberg (2005)
23. Ungar, D., Smith, R.B.: Self: The power of simplicity. In: Proc. OOPSLA, vol. 22, pp. 227-242 (1987)
24. Yu, D., Chander, A., Islam, N., Serikov, I.: Java Script instrumentation for browser security. In: ACM POPL, pp. 237-249 (2007)