scientific article; zbMATH DE number 6816923

DOI10.23638/LMCS-13(4:2)2017zbMath1398.68089arXiv1703.09988MaRDI QIDQ4596778

Dominique Devriese, Marco Patrignani, Steven Keuchel, Frank Piessens

Publication date: 11 December 2017

Full work available at URL: https://arxiv.org/abs/1703.09988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fully abstract compilation, cros-language logical relationmodular compilation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Related Items (1)

StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities

Uses Software

• Coq

This page was built for publication: