Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dominique Devriese
Linear Capabilities for Fully Abstract Compilation of Separation-Logic-Verified Code
Proceedings of the ACM on Programming Languages
Related publications
Fully Abstract Compilation to JavaScript
ACM SIGPLAN Notices
Computer Science
Abstract Categorial Parsing as Linear Logic Programming
Continuation Compilation for Concurrent Logic Programming
Compilation of Glacier Maps for Some Mountains (Abstract)
Annals of Glaciology
Earth-Surface Processes
Verified Program Code Execution System Prototype
Proceedings of the Institute for System Programming of the RAS
Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic
Separation Logic
Communications of the ACM
Computer Science
Native Code Compilation in SICStus Prolog
Soft Component Automata: Composition, Compilation, Logic, and Verification
Science of Computer Programming
Software
