• ROMS

  • Referenced in 35 articles [sw30140]
  • performed using conservative parabolic splines; and higher-order, quasi-monotone advection algorithms. Examples of quantitative...
  • OMEGA

  • Referenced in 32 articles [sw19623]
  • Ωmega: A theorem prover for higher-order logic based on proof planning...
  • Polyp

  • Referenced in 33 articles [sw09131]
  • Jones’ theories of qualified types and higher-order polymorphism. The semantics of the programs...
  • HasCasl

  • Referenced in 17 articles [sw00399]
  • HasCasl: integrated higher-order specification and program development We lay out the design of HasCasl ... higher-order extension of the algebraic specification language Casl that serves both as a wide ... expressive standard language for higher-order logic. Distinctive features of HasCasl include partial higher-order ... functions, higher-order subtyping, shallow polymorphism, and an extensive type-class mechanism. Moreover, HasCasl provides...
  • XSummer

  • Referenced in 30 articles [sw06109]
  • extremely useful in the evaluation of higher-order perturbative corrections in quantum field theory...
  • SINDy

  • Referenced in 29 articles [sw30277]
  • order models. With the goal of low-order models of a fluid flow, we combine ... models also readily generalize to include higher-order nonlinear terms that model the effect...
  • Transfer

  • Referenced in 29 articles [sw21009]
  • ubiquitous in formal reasoning with higher-order logic. Typically, users want to build a library...
  • Lifting

  • Referenced in 29 articles [sw21010]
  • ubiquitous in formal reasoning with higher-order logic. Typically, users want to build a library...
  • Beluga

  • Referenced in 26 articles [sw01321]
  • generation. We advocate the use of higher-order abstract syntax (HOAS) where we represent binders...
  • CCSL

  • Referenced in 25 articles [sw03357]
  • CCSL compiler translates CCSL specifications into higher-order logic either...
  • HOL/SPIN

  • Referenced in 24 articles [sw02987]
  • combined use of a higher-order theorem prover and a model checker. The former...
  • Bedwyr

  • Referenced in 23 articles [sw09460]
  • operational semantics. The second is that higher-order abstract syntax is directly supported using term...
  • THF0

  • Referenced in 14 articles [sw03310]
  • higher-order logic. Maintaining a consistent style between the first-order and higher-order languages...
  • Leo

  • Referenced in 19 articles [sw19607]
  • higher-order theorem prover...
  • HOL-OCL

  • Referenced in 21 articles [sw05734]
  • Object Constraint Language (OCL) in higher-order logic, we explore several key issues...
  • parDG

  • Referenced in 21 articles [sw18743]
  • Higher-order schemes for simulation of compressible liquid-vapor flows with phase change. With...
  • HOPLA

  • Referenced in 14 articles [sw02330]
  • HOPLA -- a higher-order process language. A small but powerful language for higher-order nondeterministic...
  • HYBRID

  • Referenced in 19 articles [sw00421]
  • Hybrid: a package for higher-order syntax in Isabelle...
  • Rapsodia

  • Referenced in 12 articles [sw12522]
  • Fast higher-order derivative tensors with Rapsodia. A number of practical problems in physics ... solved by using accurate higher-order derivatives. Such derivatives can be obtained with automatic differentiation ... concerned with the complexity of computing higher-order derivative tensors even for a modest order...
  • ForwardDiff

  • Referenced in 19 articles [sw16106]
  • user code, enabling efficient support for higher-order differentiation and differentiation using custom number types...