• CIL

  • Referenced in 36 articles [sw26691]
  • CIL: intermediate language and tools for analysis and transformation of C programs. This paper describes ... transformation of C programs. Compared to C, CIL has fewer constructs. It breaks down certain ... lower level than abstract-syntax trees. But CIL is also more high-level than typical ... with a front-end that translates to CIL not only ANSI C programs but also...
  • CIL

  • Referenced in 1 article [sw37158]
  • imaging. We present the Core Imaging Library (CIL), an open-source Python framework for tomographic ... dynamic, spectral and in situ tomography. CIL provides an extensive modular optimisation framework for prototyping ... visualising tomographic data. The capabilities of CIL are demonstrated on a synchrotron example dataset...
  • CREST

  • Referenced in 2 articles [sw09948]
  • CREST works by inserting instrumentation code (using CIL) into a target program to perform symbolic...
  • rotating

  • Referenced in 2 articles [sw24454]
  • need to use the fa­cil­i­ties of the float in the same...
  • MoonWalker

  • Referenced in 1 article [sw12805]
  • MoonWalker is a software model checker for cil bytecode programs, which is able to detect ... deadlocks and assertion violations in cil assemblies, better known as Microsoft .NET programs. The design...
  • ML

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

  • Referenced in 7 articles [sw01822]
  • The theoretical foundations of LPTP (a logic program...
  • JStatCom

  • Referenced in 108 articles [sw04873]
  • JStatCom is a software framework that makes it...
  • AsmL

  • Referenced in 45 articles [sw11363]
  • AsmL: Abstract State Machine Language. AsmL is an...
  • RHSBoost

  • Referenced in 2 articles [sw39519]
  • RHSBoost: improving classification performance in imbalance data. Imbalance...