Fully Abstract Compilation to JavaScript

ACM SIGPLAN Notices - United States
doi 10.1145/2480359.2429114
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Linear Capabilities for Fully Abstract Compilation of Separation-Logic-Verified Code

Proceedings of the ACM on Programming Languages
2019English

Compilation of Glacier Maps for Some Mountains (Abstract)

Annals of Glaciology
Earth-Surface Processes
1986English

Fully Abstract Translations Between Functional Languages

1991English

Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines

2017English

Incremental Global Compilation of Prolog With the Vienna Abstract Machine

1995English

JavaScript

Journal of Information Processing and Management
2001English

A Fully Abstract Denotational Model for Higher-Order Processes

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1994English

Using Speculation to Enhance Javascript Performance in Web Applications

IEEE Internet Computing
Computer NetworksCommunications
2013English

Compilation

Bulletin d'histoire politique
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy