Author:
Raad Azalea,Santos José Fragoso,Gardner Philippa
Publisher
Springer International Publishing
Reference25 articles.
1. W3C DOM standard. www.w3.org/TR/REC-DOM-Level-1/level-one-core.html
2. Lecture Notes in Computer Science;N Biri,2003
3. Biri, N., Galmiche, D.: Models and separation logics for resource trees. J. Logic Comput. 17, 687–726 (2007)
4. Bodin, M., Chargueraud, A., Filaretti, D., Gardner, P., Maffeis, S., Naudz̆iūnienė, D., Schmitt, A., Smith, G.: A mechanised JavaScript specification. In: POPL (2014)
5. Lecture Notes in Computer Science;C Calcagno,2007
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Formally Verified Model of Web Components;Formal Aspects of Component Software;2020
2. A Formal Semantics of the Core DOM in Isabelle/HOL;Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18;2018
3. JaVerT: JavaScript verification toolchain;Proceedings of the ACM on Programming Languages;2018-01