Towards a program logic for JavaScript

DOI10.1145/2103656.2103663zbMath1321.68193OpenAlexW4242904834WikidataQ29031288 ScholiaQ29031288MaRDI QIDQ2942855

Sergio Maffeis, Gareth Smith, Philippa Gardner

Publication date: 11 September 2015

Published in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2103656.2103663

zbMATH Keywords

webseparation logicJavaScript

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11)

Related Items (2)

DOM: Specification and Client Reasoning ⋮ Undecidability of Propositional Separation Logic and Its Neighbours

Uses Software

• JavaScript

This page was built for publication: Towards a program logic for JavaScript