• Maude

  • Referenced in 656 articles [sw06233]
  • Maude is a high-performance reflective language and system supporting both equational and rewriting logic...
  • TPTP

  • Referenced in 373 articles [sw04143]
  • help ensure that performance results accurately reflect capabilities of the ATP systems being considered...
  • Smalltalk

  • Referenced in 177 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective programming language. Smalltalk was created...
  • LSODE

  • Referenced in 124 articles [sw04374]
  • older GEAR and GEARB packages, and reflects a complete redesign of the user interface...
  • Featherweight Java

  • Referenced in 89 articles [sw16204]
  • which complex features like threads and reflection are dropped to enable rigorous arguments about...
  • LARCH

  • Referenced in 87 articles [sw02126]
  • about communication when the interface specification language reflects the programming language. Each interface language deals...
  • Coq/SSReflect

  • Referenced in 62 articles [sw09360]
  • name Ssreflect stands for ”small scale reflection”, a style of proof that evolved from ... steps. This is often accomplished by restating (”reflecting”) problems in a more concrete form, hence...
  • CUReT

  • Referenced in 47 articles [sw13762]
  • CuRRET: Columbia-Utrecht Reflectance and Texture Database. 3 databases: 1) BRDF (bidirectional reflectance distribution function ... database with reflectance measurements for over 60 different samples, each observed with over 200 different...
  • HandTill2001

  • Referenced in 63 articles [sw11200]
  • measures produced similar, but not identical results, reflecting the different aspects of performance that they...
  • SICStus

  • Referenced in 61 articles [sw12440]
  • camps and a fledgling standardization effort. We reflect on the impact of this effort...
  • Amos

  • Referenced in 58 articles [sw06515]
  • build attitudinal and behavioral models that reflect complex relationships. The software: Provides structural equation modeling...
  • PRINCE

  • Referenced in 54 articles [sw13240]
  • This property we refer to as $alpha $-reflection is of independent interest and we prove...
  • LieART

  • Referenced in 41 articles [sw08573]
  • input and output. LieART exploits the Weyl reflection group for most of the calculations, resulting...
  • Pse-in-One

  • Referenced in 41 articles [sw22407]
  • model or a vector that can effectively reflect its sequence pattern information or capture...
  • Euk-mPLoc

  • Referenced in 40 articles [sw26860]
  • include new entries of eukaryotic proteins and reflect the continuous development of Euk-mPLoc...
  • BDDCML

  • Referenced in 38 articles [sw13395]
  • Adaptive-Multilevel BDDC method, while reflecting some recent advancements in the field. Codes are written...
  • Locales

  • Referenced in 35 articles [sw12448]
  • declared relations between locales do not adequately reflect logical relations, which are implied...
  • DLV

  • Referenced in 30 articles [sw04640]
  • able to apply the techniques that better reflect the complexity of the problem at hand...
  • HyperInt

  • Referenced in 29 articles [sw25867]
  • combinations of multiple polylogarithms. The name HyperInt reflects that it uses hyperlogarithms to achieve this...
  • Milawa

  • Referenced in 20 articles [sw09977]
  • reflective milawa theorem prover is sound (down to the machine code that runs it). Milawa ... with a small kernel and a powerful reflection mechanism. We have used the HOL4 theorem...