Fully Abstract and Robust Compilation
| Autor: | Abate, Carmine, Busi, Matteo, Tsampas, Stelios |
|---|---|
| Jazyk: | angličtina |
| Zdroj: | Lecture Notes in Computer Science Lecture Notes in Computer Science-Programming Languages and Systems |
| ISSN: | 0302-9743 1611-3349 |
| DOI: | 10.1007/978-3-030-89051-3_6 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|