An equivalence-preserving CPS translation via multi-language semantics (Q5176993)
From MaRDI portal
scientific article; zbMATH DE number 6411564
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An equivalence-preserving CPS translation via multi-language semantics |
scientific article; zbMATH DE number 6411564 |
Statements
An equivalence-preserving CPS translation via multi-language semantics (English)
0 references
5 March 2015
0 references
back-translation
0 references
continuation-passing style
0 references
equivalence-preserving compilation
0 references
full abstraction
0 references
logical relations
0 references
multi-language semantics
0 references
