\textsc{Mnemonics}: type-safe bytecode generation at run time (Q656864): Difference between revisions

@@ Property / cites work @@
+Phantom types and subtyping
@@ Property / cites work: Phantom types and subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+A type system for the Java bytecode language and verifier
+Normal rank
@@ Property / cites work @@
+DyC: An expressive annotation-directed dynamic compiler for C
+Normal rank
@@ Property / cites work @@
+Lightweight Static Capabilities
@@ Property / cites work: Lightweight Static Capabilities / rank @@
+Normal rank
@@ Property / cites work @@
+Protection in programming languages
@@ Property / cites work: Protection in programming languages / 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 @@
+Colored local type inference
@@ Property / cites work: Colored local type inference / rank @@
+Normal rank
@@ Property / cites work @@
+The power of Pi
@@ Property / cites work: The power of Pi / rank @@
+Normal rank
@@ Property / cites work @@
+Lightweight bytecode verification
@@ Property / cites work: Lightweight bytecode verification / rank @@
+Normal rank
@@ Property / cites work @@
+\textsc{Mnemonics}: type-safe bytecode generation at run time
+Normal rank
@@ Property / cites work @@
+Environment classifiers
@@ Property / cites work: Environment classifiers / rank @@
+Normal rank