Fully Abstract and Robust Compilation (Q6488145): Difference between revisions

@@ Property / cites work @@
+Trace-Relating Compiler Correctness and Secure Compilation
+Normal rank
@@ Property / cites work @@
+Towards Effects in Mathematical Operational Semantics
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed closure conversion preserves observational equivalence
+Normal rank
@@ Property / cites work @@
+An equivalence-preserving CPS translation via multi-language semantics
+Normal rank
@@ Property / cites work @@
+A verified CompCert front-end for a memory model supporting pointer arithmetic and uninitialised data
+Normal rank
@@ Property / cites work @@
+Noninterference for free
@@ Property / cites work: Noninterference for free / rank @@
+Normal rank
@@ Property / cites work @@
+Fully-abstract compilation by approximate back-translation
+Normal rank
@@ Property / cites work @@
+Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
+Normal rank
@@ Property / cites work @@
+Full abstraction for expressiveness: history, myths and facts
+Normal rank
@@ Property / cites work @@
+Bialgebras for structural operational semantics: an introduction
+Normal rank
@@ Property / cites work @@
+Structural Operational Semantics for Stochastic Process Calculi
+Normal rank
@@ Property / cites work @@
+Formal certification of a compiler back-end or
@@ Property / cites work: Formal certification of a compiler back-end or / rank @@
+Normal rank
@@ Property / cites work @@
+Q3758891
@@ Property / cites work: Q3758891 / rank @@
+Normal rank
@@ Property / cites work @@
+On abstraction and the expressive power of programming languages
+Normal rank
@@ Property / cites work @@
+Q4068067
@@ Property / cites work: Q4068067 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics with applications: an appetizer.
@@ Property / cites work: Semantics with applications: an appetizer. / rank @@
+Normal rank
@@ Property / cites work @@
+General conditions for full abstraction
@@ Property / cites work: General conditions for full abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract trace semantics for protected module architectures
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional CompCert
@@ Property / cites work: Compositional CompCert / rank @@
+Normal rank
@@ Property / cites work @@
+The verified CakeML compiler backend
@@ Property / cites work: The verified CakeML compiler backend / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical approach to secure compilation
@@ Property / cites work: A categorical approach to secure compilation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362964
@@ Property / cites work: Q4362964 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-behaved Translations between Structural Operational Semantics
+Normal rank