(PDF) Linear Capabilities for Fully Abstract Compilation of

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

Proceedings of the ACM on Programming Languages

doi 10.1145/3341688

Full Text

Abstract

Available in full text

Date

July 26, 2019

Authors

Thomas Van Strydonck

Dominique Devriese

Publisher

Association for Computing Machinery (ACM)

Related search

Fully Abstract Compilation to JavaScript

ACM SIGPLAN Notices

Computer Science

English

Abstract Categorial Parsing as Linear Logic Programming

English

Continuation Compilation for Concurrent Logic Programming

English

Compilation of Glacier Maps for Some Mountains (Abstract)

Annals of Glaciology

Earth-Surface Processes

English

Verified Program Code Execution System Prototype

Proceedings of the Institute for System Programming of the RAS

English

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

English

Separation Logic

Communications of the ACM

Computer Science

English

Native Code Compilation in SICStus Prolog

English

Soft Component Automata: Composition, Compilation, Logic, and Verification

Science of Computer Programming

English