\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 / describes a project that uses @@
+TALx86
@@ Property / describes a project that uses: TALx86 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mnemonics
@@ Property / describes a project that uses: Mnemonics / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LMS
@@ Property / describes a project that uses: LMS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ASM
@@ Property / describes a project that uses: ASM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Scala
@@ Property / describes a project that uses: Scala / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Flask
@@ Property / describes a project that uses: Flask / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DyC
@@ Property / describes a project that uses: DyC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BCEL
@@ Property / describes a project that uses: BCEL / 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.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
@@ links / mardi / name / links / mardi / name @@
+Publication:656864