• OCaml

  • Referenced in 271 articles [sw06363]
  • industrial-strength implementation of this language, featuring a high-performance native-code compiler (ocamlopt ... IA64, HPPA, StrongArm), as well as a bytecode compiler (ocamlc) and an interactive read-eval...
  • TALx86

  • Referenced in 45 articles [sw34511]
  • statically-typed target language that is better suited than Java bytecodes for supporting a wide...
  • JavaFAN

  • Referenced in 30 articles [sw01934]
  • state model checking. Both Java language and JVM bytecode analyses are possible. JavaFAN’s implementation...
  • Lua

  • Referenced in 39 articles [sw10207]
  • powerful, fast, lightweight, embeddable scripting language. Lua combines simple procedural syntax with powerful data description ... dynamically typed, runs by interpreting bytecode for a register-based virtual machine, and has automatic...
  • DiSL

  • Referenced in 3 articles [sw06886]
  • ensure that each method with a bytecode representation gets instrumented. In this paper we give ... DiSL, a domain-specific aspect language and framework for bytecode instrumentation that reconciles high expressiveness...
  • Slicing

  • Referenced in 1 article [sw29542]
  • While/) and the sophisticated object-oriented bytecode language of Jinja (in subdirectory JinjaVM/). For more...
  • WALA

  • Referenced in 2 articles [sw04113]
  • static analysis capabilities for Java bytecode and related languages and for JavaScript. The system...
  • Dava

  • Referenced in 5 articles [sw34048]
  • obfuscators. Java bytecode can also be produced by compilers for other languages, including Haskell, Eiffel ... Dava, a decompiler for arbitrary Java bytecode. We first outline the problems in assigning types...
  • jContractor

  • Referenced in 10 articles [sw01488]
  • during a program’s execution. jContractor’s bytecode engineering technique allows it to specify ... expressing contracts without extending the Java language or runtime environment. These constructs include support...
  • Joogie

  • Referenced in 4 articles [sw13771]
  • translation, which is based on the Jimple language, can be used to analyze real-world ... from differences between Java code and its bytecode...
  • js_of_ocaml

  • Referenced in 3 articles [sw22664]
  • ocaml is a compiler of OCaml bytecode to Javascript. It makes it possible ... browser. Features: The whole language, and most of the standard library are supported. The compiler...
  • SAFKASI

  • Referenced in 5 articles [sw20431]
  • SAFKASI: A security mechanism for language-based systems. In order to run untrusted code ... implementation strictly by rewriting the Java bytecodes before they are loaded by the system ... changes to the JVM or bytecode semantics are necessary. With a combination of static analysis ... faster), and is easier to consider for languages beyond Java. We call our system SAFKASI...
  • PyPy

  • Referenced in 5 articles [sw20002]
  • programs that are interpreters for some dynamic languages, including Python. Tracing JIT compilers can greatly ... program that is itself a bytecode interpreter results in very limited or no speedup...
  • KUKA Robot Language

  • Referenced in 1 article [sw16963]
  • with the challenges in reverse-engineering the language and mapping its specifics to the Robotics ... executing KRL programs: tree-based and bytecode-based interpretation...
  • Golo

  • Referenced in 1 article [sw29180]
  • Golo is a simple dynamically-typed programming language for the Java Virtual Machine(JVM) that ... capabilities of the Java 7 invokedynamic bytecode instruction and java.lang.invoke...
  • ADiJaC

  • Referenced in 2 articles [sw19695]
  • general-purpose automatic differentiation tool for Java bytecode, we argue that ADiJaC’s features ... similar mature tools for other programming languages such as C/C++ or Fortran...
  • Jinja not Java

  • Referenced in 2 articles [sw28876]
  • compromise between realism of the language and tractability and clarity of the formal semantics ... type safety proof for the JVM; a bytecode verifier, i.e. data flow analyser ... correctness proof of the bytecode verifier w.r.t. the type system; a compiler and a proof ... this work is not on particular language features but on providing a unified model...
  • BYTESURGEON

  • Referenced in 2 articles [sw09135]
  • Runtime bytecode transformation for Smalltalk. Transforming programs to alter their semantics is of wide interest ... optimization, trace generation, and experimentation with new language features. The current wave of interest ... flexibility of the Squeak environment to enable bytecode transformation at runtime, thereby allowing dynamic...
  • AtomCaml

  • Referenced in 3 articles [sw22682]
  • freedom. Our implementation extends the Objective Caml bytecode compiler and run-time system to support ... mostly functional nature of the Caml language and the Objective Caml implementation’s commitment...
  • Pycket

  • Referenced in 2 articles [sw20001]
  • Pycket: a tracing JIT for a functional language. We present Pycket, a high-performance tracing ... Prior work on meta-tracing focuses on bytecode interpreters, whereas Pycket is a high-level ... continuations. In the setting of a functional language, where recursion and higher-order functions...