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

@@ Property / DOI @@
-.1007/s10990-011-9077-9
@@ Property / DOI: 10.1007/s10990-011-9077-9 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10990-011-9077-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2109650208
@@ Property / OpenAlex ID: W2109650208 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S10990-011-9077-9
@@ Property / DOI: 10.1007/S10990-011-9077-9 / rank @@
+Normal rank