An Operational Semantics for JavaScript

Sergio Maffeis, John C. Mitchell, Ankur Taly. An Operational Semantics for JavaScript. In Ganesan Ramalingam, editor, Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings. Volume 5356 of Lecture Notes in Computer Science, pages 307-325, Springer, 2008. [doi]

@inproceedings{MaffeisMT08,
  title = {An Operational Semantics for JavaScript},
  author = {Sergio Maffeis and John C. Mitchell and Ankur Taly},
  year = {2008},
  doi = {10.1007/978-3-540-89330-1_22},
  url = {http://dx.doi.org/10.1007/978-3-540-89330-1_22},
  tags = {semantics, JavaScript, C++, operational semantics},
  researchr = {https://researchr.org/publication/MaffeisMT08},
  cites = {0},
  citedby = {0},
  pages = {307-325},
  booktitle = {Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings},
  editor = {Ganesan Ramalingam},
  volume = {5356},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89329-5},
}