Modular, Fully-abstract Compilation by Approximate Back-translation

Devriese, Dominique; Patrignani, Marco; Piessens, Frank; Keuchel, Steven

doi:10.23638/LMCS-13(4:2)2017

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Journal Article

Modular, Fully-abstract Compilation by Approximate Back-translation

MPS-Authors

/persons/resource/persons204901

Patrignani, Marco
Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

1703.09988.pdf
(Publisher version), 643KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Devriese, D., Patrignani, M., Piessens, F., & Keuchel, S. (2017). Modular, Fully-abstract Compilation by Approximate Back-translation. Logical Methods in Computer Science, 13(4): 4011, pp. 1-38. doi:10.23638/LMCS-13(4:2)2017.

Cite as: https://hdl.handle.net/21.11116/0000-0000-6E83-1

Abstract

There is no abstract available