• Cyclone

  • Referenced in 28 articles [sw09693]
  • Compiling for template-based run-time code generation. Cyclone is a type-safe programming language ... that provides explicit run-time code generation. The Cyclone compiler uses a template-based strategy ... run-time code generation in which pre-compiled code fragments are stitched together...
  • MiniML

  • Referenced in 47 articles [sw29625]
  • across multiple stages, thus supporting run-time code generation as well as partial evaluation...
  • CVXGEN

  • Referenced in 44 articles [sw07151]
  • generated code is almost branch free, and so has highly predictable run-time behavior ... speed and reliability of the automatically generated solvers...
  • Sailfish

  • Referenced in 12 articles [sw16828]
  • code implementation and use run-time code generation techniques and a high level programming language...
  • Nikola

  • Referenced in 6 articles [sw14049]
  • supports both compile-time and run-time code generation, making it possible for programmers...
  • DyC

  • Referenced in 13 articles [sw09692]
  • time analysis computes the set of run-time constants at each program point ... analysis guide the construction of a run-time specializer for each dynamically compiled region ... various caching strategies for managing dynamically generated code and mixes of speculative and demand-driven ... offs in the binding-time analysis and the run-time specializer are open to user...
  • SLOPE

  • Referenced in 1 article [sw33639]
  • codes based on python and run-time code generation...
  • SCAMP

  • Referenced in 11 articles [sw02112]
  • generate C code for later compilation to produce fast executable stand-alone models or run ... time code for input to a run-time interpreter for immediate execution. The simulator also...
  • Calpa

  • Referenced in 1 article [sw18666]
  • program’s static characteristics and run-time behavior and much trial and error in order ... beneficial annotations. Calpa is a system that generates annotations automatically for the DyC dynamic compiler ... compilation cost and dynamically generated code benefit to choose run-time constants and other dynamic ... programs tested so far, Calpa generates annotations of the same or better quality as those...
  • Shimba

  • Referenced in 6 articles [sw01242]
  • code and viewed as directed graphs using the Rigi reverse engineering environment. The run-time ... information is generated by running the target software under a customized SDK debugger. The generated...
  • LTSmin

  • Referenced in 21 articles [sw07214]
  • code, and automatically yields tools for standard reachability checking (e.g., for state space generation ... slow state space generators), matrix regrouping (which can drastically reduce run-time and memory consumption...
  • BCEL

  • Referenced in 13 articles [sw07884]
  • classes from scratch at run-time. The Byte Code Engineering Library (BCEL) may be also ... Java .class files. BCEL contains a byte code verifier named JustIce, which usually gives ... information about what’s wrong with your code than the standard JVM message. BCEL ... projects such as compilers, optimizers, obsfuscators, code generators and analysis tools. Unfortunately there hasn...
  • Filaments

  • Referenced in 5 articles [sw04841]
  • some of the complexity into a run-time system. To this end, we have validated ... modified a SISAL compiler to generate Filaments code. Filaments obviates the need for compilers...
  • Control Toolbox

  • Referenced in 2 articles [sw36513]
  • fast run-time performance are full compatibility with Automatic Differentiation, derivative code generation, and multi...
  • TreatJS

  • Referenced in 5 articles [sw19991]
  • building block for composable run-time generated contracts that generalize dependent function contracts. TreatJS ... run contracts in a sandbox environment, which guarantees that the execution of contract code does ... state. No source code transformation or change in the JavaScript run-time system is required...
  • Metaphor

  • Referenced in 2 articles [sw08956]
  • provides static type checking of later stage code. Object-oriented frameworks usually offer a type ... discover information about types at run-time. Metaphor allows this reflection system to be incorporated ... staging constructs, thus allowing the generation of code based on the structure of types...
  • Omnibus

  • Referenced in 3 articles [sw04600]
  • verification. Integrated support is provided for run-time assertion checking, extended static checking and full ... with a type checker, Java code generator, HTML documentation generator and a range of verifiers...
  • L-PICOLA

  • Referenced in 3 articles [sw41555]
  • memory, planar-parallel code, L-PICOLA, which can be used to generate and evolve ... simulate the past lightcone at run-time, with optional replication of the simulation volume. Through ... Body simulations we find that our code can reproduce the z=0 power spectrum ... accuracy, speed and scalability of this code, alongside the additional features we have implemented, make...
  • QUAFF

  • Referenced in 3 articles [sw00764]
  • show how generative and meta-programming techniques can be applied to the implementation ... level transformations at compile-time rather than run-time. The implementation is derived directly from...
  • Predict

  • Referenced in 4 articles [sw13569]
  • NeuralSight®, NeuralPower®, and the Predict Run-Time Kit (RTK). The Engine incorporates advanced, automated data ... neural network technology. The Predict Engine generates variations of feed-forward neural networks for prediction ... Engine can also generate C, VisualBasic, or Fortran 77 source code representations of trained neural...