Skip to content
Institutional repository
Communities & Collections
Browse all items
Scientific publications
Open knowledge
Log In
imec Publications
Articles
Modular, fully-abstract compilation by approximate back-translation
Publication:
Modular, fully-abstract compilation by approximate back-translation
Copy permalink
Date
2017
Journal article
Simple item page
Full metadata
Statistics
Loading...
Loading...
Files
41339.pdf
642.82 KB
Basic data
APA
Chicago
Harvard
IEEE
Basic data
APA
Chicago
Harvard
IEEE
Author(s)
Devriese, Dominique
;
Patrignani, Marco
;
Piessens, Frank
;
Keuchel, Steven
Journal
Logical Methods in Computer Science
Abstract
Description
Metrics
Views
1864
since deposited on 2021-10-24
1
last month
Acq. date: 2025-12-12
Citations
Metrics
Views
1864
since deposited on 2021-10-24
1
last month
Acq. date: 2025-12-12
Citations