• Scala

  • Referenced in 85 articles [sw07180]
  • full power of the industry-proven JVM technology. Readers can then dive into specially chosen...
  • JavaFAN

  • Referenced in 30 articles [sw01934]
  • state model checking. Both Java language and JVM bytecode analyses are possible. JavaFAN’s implementation ... specifying formally the semantics of Java and JVM in rewriting logic and then using...
  • Isabelle/jEdit

  • Referenced in 26 articles [sw06432]
  • with sophisticated front-end technology on the JVM platform, overcoming command-line interaction at last...
  • BCEL

  • Referenced in 13 articles [sw07884]
  • learn about the Java Virtual Machine (JVM) and the format of Java .class files. BCEL ... wrong with your code than the standard JVM message. BCEL is already being used successfully...
  • Isabelle/PIDE

  • Referenced in 12 articles [sw07185]
  • proof engine in ML to the JVM world, where many user-interfaces, editor frameworks...
  • PIDE

  • Referenced in 10 articles [sw06404]
  • with sophisticated front-end technology on the JVM platform, overcoming command-line interaction at last...
  • JLAPACK

  • Referenced in 7 articles [sw12582]
  • files, executable by the Java Virtual Machine (JVM) and suitable for use by Java programmers...
  • SAFKASI

  • Referenced in 5 articles [sw20431]
  • system. No changes to the JVM or bytecode semantics are necessary. With a combination...
  • SPECjvm2008

  • Referenced in 5 articles [sw21475]
  • without any tuning of the JVM to improve the out of the box performance...
  • JikesRVM

  • Referenced in 4 articles [sw01997]
  • implemented Mobile JikesRVM without recompiling its JVM (Java Virtual Machine) source code, but simply extending...
  • AspectWerkz

  • Referenced in 4 articles [sw04427]
  • runtime. It hooks in using standardized JVM level APIs. It has a rich and highly...
  • Renjin

  • Referenced in 4 articles [sw20329]
  • Renjin is a JVM-based interpreter for the R language for statistical computing...
  • Jinja not Java

  • Referenced in 2 articles [sw28876]
  • small step semantics; a virtual machine (JVM), its operational semantics and its type system ... type safety proof for the JVM; a bytecode verifier, i.e. data flow analyser ... JVM; a correctness proof of the bytecode verifier w.r.t. the type system; a compiler...
  • Spring

  • Referenced in 2 articles [sw21448]
  • everywhere build simple, portable, fast and flexible JVM-based systems and applications. Build Anything: Write ... portable – Spring-based apps run anywhere the JVM does. Deploy standalone, in an app server...
  • Jimple

  • Referenced in 3 articles [sw18636]
  • users on any platform, which has a JVM implementation. To circumvent detection by anti-virus...
  • OCaml-Java

  • Referenced in 3 articles [sw21578]
  • OCaml-Java: OCaml on the JVM. This article presents the OCaml-Java project whose goal...
  • FCore

  • Referenced in 1 article [sw16981]
  • Memory-efficient tail calls in the JVM with imperative functional objects. This paper presents FCore ... JVM implementation of system F with support for full tail-call elimination (TCE). Our compilation ... JVM using constant space. Unlike conventional TCE techniques on the JVM, allocated function objects ... perform well without worrying about the JVM limitations. Our empirical results show that programs which...
  • HPROF

  • Referenced in 1 article [sw16982]
  • profiling. HPROF is actually a JVM native agent library which is dynamically loaded through ... command line option, at JVM startup, and becomes part of the JVM process. By supplying ... Java Virtual Machine Tool Interface (JVM...
  • Javana

  • Referenced in 1 article [sw30248]
  • Java application, the Java Virtual Machine (JVM) and the native execution layers. The goal ... practice it is often challenging. The JVM needs to be adjusted in numerous ways ... standard class libraries, and the JVM implementation itself. Capturing all object accesses through manual instrumentation ... requires an in-depth understanding of the JVM and its libraries. We show that using...
  • Kotlin

  • Referenced in 2 articles [sw30933]
  • language for the JVM. Kotlin is object-oriented language, and a “better language” than Java...