Fully abstract compilation to JavaScript

DOI10.1145/2429069.2429114MaRDI QIDQ2931813zbMATH OpenOpenAlexWikidataFDO

Authors Nikhil Swamy, Juan Chen, Pierre-Évariste Dagand, Pierre-Yves Strub, Benjamin Livshits, Cédric Fournet

Publication date 27 November 2014

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

Full work available at URL https://hal.inria.fr/hal-00780803/file/js-star-popl-2013.pdf

zbMATH Keywords

full abstractionprogram equivalencerefinement types

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Fully abstract compilation via universal embedding
• Modular, fully-abstract compilation by approximate back-translation
• Fully-abstract compilation by approximate back-translation
• A secure compiler for ML modules
• Typed closure conversion preserves observational equivalence

Cited in

(15)

• Observational program calculi and the correctness of translations
• Fully-abstract compilation by approximate back-translation
• Compiling Haskell to JavaScript through Clean's core
• Fully abstract compilation via universal embedding
• scientific article; zbMATH DE number 5990080 (Why is no real title available?)
• A secure compiler for ML modules
• Modular, fully-abstract compilation by approximate back-translation
• A provably correct compilation of functional languages into scripting languages
• Linear capabilities for fully abstract compilation of separation-logic-verified code
• Formal methods for web security
• A trusted mechanised JavaSript specification
• Securing a compiler transformation
• Fully Abstract and Robust Compilation
• On the semantic expressiveness of iso- and equi-recursive types
• Nanopass back-translation of call-return trees for mechanized secure compilation proofs

Describes a project that uses

Uses Software

• JavaScript

This page was built for publication: Fully abstract compilation to JavaScript

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