Automated techniques for provably safe mobile code. (Q1853627): Difference between revisions

@@ Property / describes a project that uses @@
+TALx86
@@ Property / describes a project that uses: TALx86 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Elf
@@ Property / describes a project that uses: Elf / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic model of types and machine instructions for proof-carrying code
+Normal rank
@@ Property / cites work @@
+Resource bound certification
@@ Property / cites work: Resource bound certification / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+On equivalence and canonical forms in the LF type theory
+Normal rank
@@ Property / cites work @@
+Stack-based typed assembly language
@@ Property / cites work: Stack-based typed assembly language / rank @@
+Normal rank
@@ Property / cites work @@
+Stack-based typed assembly language
@@ Property / cites work: Stack-based typed assembly language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936138
@@ Property / cites work: Q4936138 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012879
@@ Property / cites work: Q4012879 / rank @@
+Normal rank
@@ Property / cites work @@
+Elf: A meta-language for deductive systems
@@ Property / cites work: Elf: A meta-language for deductive systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751369
@@ Property / cites work: Q2751369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944858
@@ Property / cites work: Q4944858 / rank @@
+Normal rank
@@ Property / cites work @@
+A type system for expressive security policies
@@ Property / cites work: A type system for expressive security policies / rank @@
+Normal rank
@@ Property / cites work @@
+A dependently typed assembly language
@@ Property / cites work: A dependently typed assembly language / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(01)00201-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2041673946
@@ Property / OpenAlex ID: W2041673946 / rank @@
+Normal rank