• MetaKlaim

  • Referenced in 5 articles [sw01810]
  • MetaKlaim: a type safe multi-stage language for global computing This paper describes the design ... multi-stage programming) and Klaim (a Kernel Language for Agents Interaction and Mobility), to permit...
  • PySP

  • Referenced in 20 articles [sw04921]
  • mixed-integer, non-linear, and/or multi-stage cases. Intricate, configurable, and parallel decomposition strategies ... stages and the nature of uncertain parameters) in the Pyomo open-source algebraic modeling language ... multi-stage stochastic programs. By leveraging the combination of a high-level programming language (Python...
  • Terra

  • Referenced in 3 articles [sw24000]
  • Terra: a multi-stage language for high-performance computing. High-performance computing applications, such...
  • MetaOCaml

  • Referenced in 10 articles [sw09230]
  • MetaOCaml is a multi-stage extension of the OCaml programming language, and provides three basic...
  • Metaphor

  • Referenced in 2 articles [sw08956]
  • Metaphor: A Multi-stage, Object-Oriented Programming Language. This paper presents a language (called Metaphor ... expressing staged programs in a strongly-typed, imperative, object-oriented environment. The language is based ... multi-stage and provides static type checking of later stage code. Object-oriented frameworks usually ... reflection system to be incorporated into the language’s staging constructs, thus allowing the generation...
  • TinyMBERT

  • Referenced in 1 article [sw32542]
  • Multi-Stage Distillation Framework for Massive Multi-lingual NER. Deep and large pre-trained language...
  • Lantern

  • Referenced in 1 article [sw30958]
  • well-studied programming language concepts: delimited continuations and multi-stage programming (staging, for short). Delimited...
  • Strymonas

  • Referenced in 1 article [sw21719]
  • facilities of Multi-Stage Programming (MSP) for each language. The utmost goal of the library...
  • ATLAS

  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • CCSP

  • Referenced in 14 articles [sw00111]
  • CCSP: A formal system for distributed program debugging...
  • Matlab

  • Referenced in 12557 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8776 articles [sw00771]
  • R is a language and environment for statistical...
  • SPIRAL

  • Referenced in 46 articles [sw00903]
  • The SPIRAL system (www.spiral.net) is a tool for...
  • ML

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • MSLiP

  • Referenced in 109 articles [sw01410]
  • MSLiP: A computer code for the multistage stochastic...
  • LOQO

  • Referenced in 205 articles [sw02212]
  • LOQO: An interior point code for quadratic programming...
  • SNOPT

  • Referenced in 524 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...
  • EVPI

  • Referenced in 20 articles [sw02644]
  • EVPI-based importance sampling solution procedures for multistage...
  • AMPL

  • Referenced in 598 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...