• F*

  • Referenced in 20 articles [sw27563]
  • system includes dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these...
  • Prodigy

  • Referenced in 36 articles [sw20686]
  • research in planning, machine learning, apprentice-type knowledge-refinement interfaces, and expert systems. This document...
  • SYMBA

  • Referenced in 13 articles [sw08528]
  • software verification, program synthesis, functional programming, refinement types, etc. In all of these applications...
  • LEGO

  • Referenced in 107 articles [sw09685]
  • Unified Theory of Dependent Types (UTT). LEGO is a powerful tool for interactive proof development ... natural deduction style. It supports refinement proof as a basic operation. The system design emphasizes ... higher-order power of its underlying type theories, and the support of specifying new inductive...
  • KIDS

  • Referenced in 12 articles [sw15441]
  • partial evaluation, finite differencing optimizations, data type refinement, compilation, and other development operations. Although their...
  • LiquidHaskell

  • Referenced in 4 articles [sw27633]
  • Refinement types for Haskell. SMT-based checking of refinement types for call-by-value languages ... subject. Unfortunately, the classical translation of refinement types to verification conditions is unsound under lazy ... sound and precise, a refinement type system for Haskell and the corresponding verification conditions must ... that (circularly) uses refinement types to verify the labeling. We have implemented our system...
  • MFEM

  • Referenced in 58 articles [sw09043]
  • includes classes for dealing with various types of triangular, quadrilateral, tetrahedral and hexahedral meshes ... case of triangular and tetrahedral meshes, local refinement (including in parallel). General element transformations, allowing ... problem described in terms of finite element-type objects, and produce the corresponding linear algebra ... element problem generator, which supports parallel local refinement and parallel curved meshes, as well...
  • libMesh

  • Referenced in 154 articles [sw06657]
  • provide support for adaptive mesh refinement (AMR) computations in parallel while allowing a research scientist ... variety of popular geometric and finite element types. The library makes use of high-quality...
  • CLAWPACK

  • Referenced in 138 articles [sw01069]
  • focus on implementing high-resolution Godunov type methods using limiters in a general framework applicable ... propagating into the neighboring cells. Adaptive mesh refinement is included, see amrclaw. Recent extensions allow...
  • Sage

  • Referenced in 4 articles [sw30073]
  • Dynamic, first-class types, and arbitrary refinement types. Since type checking for this expressive language...
  • CTIGAR

  • Referenced in 8 articles [sw23310]
  • refinement options, including when to refine and which type of concrete single-step query...
  • Wysteria

  • Referenced in 4 articles [sw41618]
  • computations. We have formalized Wysteria, its refinement type system, and its operational semantics. We show...
  • DeepXDE

  • Referenced in 61 articles [sw32456]
  • applied to different types of PDEs, including integro-differential equations, fractional PDEs, and stochastic PDEs ... propose a new residual-based adaptive refinement (RAR) method to improve the training efficiency...
  • GASpAR

  • Referenced in 12 articles [sw18141]
  • formulation of dynamic adaptive refinement (DARe) of non-conforming h-type. As a demonstration...
  • Stardust

  • Referenced in 1 article [sw20015]
  • Refined typechecking with Stardust. We present Stardust, an implementation of a type system ... subset of ML with type refinements, intersection types, and union types, enabling programmers to legibly ... first implementation of unrestricted intersection and union types in a mainstream functional programming setting ... invaluable refinements (to check dimensional consistency). While typechecking with intersection and union types is intrinsically...
  • Light-weight Containers

  • Referenced in 4 articles [sw29238]
  • efficient) data structures. Thanks to type classes and refinement during code generation, this light-weight ... available data structures depending on the type of elements to be stored, but users...
  • Rast

  • Referenced in 1 article [sw41190]
  • response, recent work has extended session types with refinements from linear arithmetic, capturing intrinsic attributes ... processes and data. These refinements then play a central role in describing sequential and parallel ... source implementation of session-typed concurrent programs extended with arithmetic refinements as well as ergometric ... generic programming, Rast also enhances arithmetically refined session types with recently developed nested parametric polymorphism...
  • CWENO

  • Referenced in 26 articles [sw01051]
  • this technique with that of adaptive mesh refinement (AMR), we have developed a third-order ... example of the dynamics of a Sedov-type explosion...
  • TrafficPredict

  • Referenced in 2 articles [sw36647]
  • instances belonging to the same type to refine the prediction. In order to evaluate...
  • AoPA

  • Referenced in 8 articles [sw09832]
  • types for relational program derivation. Relational program derivation is the technique of stepwise refining ... obtained is correct by construction. Meanwhile, dependent type theory is rich enough to express various...