Towards a program logic for JavaScript

DOI10.1145/2103656.2103663MaRDI QIDQ2942855zbMATH OpenOpenAlexWikidataFDO

Authors Philippa Gardner, Sergio Maffeis, Gareth Smith

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

JavaScriptseparation logicweb

Mathematics Subject Classification ID

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

Recommendations

• Programming Languages and Systems
• A trusted mechanised JavaSript specification
• A sound and complete Hoare logic for dynamically-typed, object-oriented programs
• Type checking for JavaScript
• DOM: Specification and Client Reasoning

Cited in

(5)

• scientific article; zbMATH DE number 5990080 (Why is no real title available?)
• DOM: Specification and Client Reasoning
• Undecidability of propositional separation logic and its neighbours
• Programming Languages and Systems
• A trusted mechanised JavaSript specification

Describes a project that uses

Uses Software

• JavaScript

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2942855)