• LEGO

  • Referenced in 108 articles [sw09685]
  • Constructions (CC), the Generalized Calculus of Constructions (GCC) and the Unified Theory of Dependent Types...
  • Prolog

  • Referenced in 70 articles [sw06518]
  • constraint programs and produces native binaries (like gcc does from a C source). The obtained...
  • ParLinSys

  • Referenced in 19 articles [sw06461]
  • ParLinSys 0.1 requires the GNU C++ compiler gcc 2.95.2 and the libraries...
  • PANOW

  • Referenced in 7 articles [sw10156]
  • developed on x86 GNU/Linux systems with GCC 3.4, and successfully tested with GCC latest versions...
  • KDE Toolbox

  • Referenced in 7 articles [sw20503]
  • support C++, so you will need GCC under Linux, or GCC or Visual...
  • Scythe

  • Referenced in 7 articles [sw10552]
  • compiled on any system with the GNU GCC compiler (and perhaps with other C++ compilers...
  • MPACK

  • Referenced in 7 articles [sw12855]
  • well as IEEE 754 binary128 (via gcc’s extension __float128...
  • muparser

  • Referenced in 7 articles [sw26166]
  • been tested using Visual Studio 2013 and GCC V4.8.1. Code samples are provided in order...
  • HACL*

  • Referenced in 4 articles [sw36852]
  • verified C compiler or mainstream compilers like GCC or CLANG. When compiled with ... GCC on 64-bit platforms, our primitives are as fast as the fastest pure...
  • MCdevelop

  • Referenced in 5 articles [sw09208]
  • version, written mostly in C++ (GNU compiler gcc). It uses Autotools to build binaries (optionally...
  • Orion

  • Referenced in 5 articles [sw09957]
  • algorithms used and their implementation in a GCC-based tool. Experimental results on a number...
  • gccXfront

  • Referenced in 2 articles [sw13104]
  • gccXfront: Exploiting gcc as a front end for program comprehension tools via XML/XSLT. Parsing programming ... those from the GNU compiler collection, gcc. We have modified gcc to provide syntactic tags ... stylesheets, the XML outputted by our modified gcc can be translated into a more readable ... leverages the power and portability of the gcc suite, since any C, C++, Objective...
  • InterAspect

  • Referenced in 2 articles [sw13024]
  • InterAspect: aspect-oriented instrumentation with GCC. We present the InterAspect instrumentation framework ... GCC, a widely used compiler infrastructure. The addition of plug-in support in the latest ... release of GCC makes it an attractive platform for runtime instrumentation, as GCC plug ... Such transformations, however, require expert knowledge of GCC internals. InterAspect addresses this situation by allowing...
  • SoftFloat

  • Referenced in 4 articles [sw12791]
  • compiler. Using the GNU C Compiler (gcc), the package has been compiled and tested...
  • logcf

  • Referenced in 3 articles [sw06355]
  • Vincent’s theorem ). Notice: under linux platform, gcc and g++ need version 4.6 or later...
  • RTSIM

  • Referenced in 3 articles [sw15095]
  • been tested with all major releases of GCC, from 2.96 to 4.0.1. Under Windows...
  • CompCertS

  • Referenced in 3 articles [sw22722]
  • memory model where, unlike CompCert but like Gcc, the binary representation of pointers...
  • GFortran

  • Referenced in 3 articles [sw25992]
  • front end and run-time libraries for GCC, the GNU Compiler Collection. GFortran development...