Fully abstract trace semantics for protected module architectures (Q1749116): Difference between revisions

@@ Property / DOI @@
-.1016/j.cl.2015.03.002
@@ Property / DOI: 10.1016/j.cl.2015.03.002 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Java Jr
@@ Property / describes a project that uses: Java Jr / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sancus
@@ Property / describes a project that uses: Sancus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Fides
@@ Property / describes a project that uses: Fides / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TALx86
@@ Property / describes a project that uses: TALx86 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.cl.2015.03.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2079755135
@@ Property / OpenAlex ID: W2079755135 / rank @@
+Normal rank
@@ Property / cites work @@
+An equivalence-preserving CPS translation via multi-language semantics
+Normal rank
@@ Property / cites work @@
+Fully abstract trace semantics for protected module architectures
+Normal rank
@@ Property / cites work @@
+Q2852100
@@ Property / cites work: Q2852100 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Definability and Full Abstraction
@@ Property / cites work: Definability and Full Abstraction / rank @@
+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 @@
+Q2847820
@@ Property / cites work: Q2847820 / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Q4172907
@@ Property / cites work: Q4172907 / rank @@
+Normal rank
@@ Property / cites work @@
+A System-Level Game Semantics
@@ Property / cites work: A System-Level Game Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+Normal rank
@@ Property / cites work @@
+Biorthogonality, step-indexing and compiler correctness
+Normal rank
@@ Property / cites work @@
+A kripke logical relation between ML and assembly
@@ Property / cites work: A kripke logical relation between ML and assembly / rank @@
+Normal rank
@@ Property / cites work @@
+The marriage of bisimulations and Kripke logical relations
+Normal rank
@@ Property / cites work @@
+High-level separation logic for low-level code
@@ Property / cites work: High-level separation logic for low-level code / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract may testing semantics for concurrent objects
+Normal rank
@@ Property / DOI @@
+.1016/J.CL.2015.03.002
@@ Property / DOI: 10.1016/J.CL.2015.03.002 / rank @@
+Normal rank