• TSFC

  • Referenced in 25 articles [sw20272]
  • TSFC: a structure-preserving form compiler. A form compiler takes a high-level description ... paper we present the Two-Stage Form Compiler (TSFC), a new form compiler with ... through the compilation process than other form compilers. This is also achieved in part ... evaluation demonstrates good compile-time performance even for highly complex forms...
  • FFC

  • Referenced in 30 articles [sw11185]
  • FEniCS form compiler. One of the key features of FEniCS is automated code generation ... automated code generation relies on a form 7019 compiler for offline or just-in-time ... code for individual forms. Two different form 7020 compilers are available as part of FEniCS...
  • SPDE

  • Referenced in 39 articles [sw16714]
  • package should only be used in compiled form...
  • MPT

  • Referenced in 230 articles [sw04732]
  • toolbox offers a broad spectrum of algorithms compiled in a user friendly and accessible format ... embedded into your applications in a form of a C code, or deployed to target...
  • Esterel

  • Referenced in 166 articles [sw20012]
  • systems and control automata. The Esterel v5 compiler can be used to generate a software ... also generate hardware in the form of netlists of gates, which can then be embedded...
  • UFC

  • Referenced in 7 articles [sw11184]
  • that is generated by 8705 the form compilers FFC and SFC for DOLFIN...
  • YACC

  • Referenced in 67 articles [sw26931]
  • generating a parser, the part of a compiler that tries to make syntactic sense ... notation similar to Backus–Naur Form (BNF).[1] Yacc is supplied as a standard utility...
  • Dsharp

  • Referenced in 8 articles [sw41094]
  • open source CNF -> d-DNNF compiler based on sharpSAT. Similar to the c2d software, DSHARP ... boolean theory in conjunctive normal form as input, and compiles it into deterministic decomposable negation...
  • ShNAPr

  • Referenced in 5 articles [sw41768]
  • library in conjunction with the advanced form compiler TSFC, which may be installed for FEniCS...
  • FInAT

  • Referenced in 5 articles [sw20273]
  • finite elements. Symbolic form languages and form compilers can then exploit this information...
  • SWIG

  • Referenced in 53 articles [sw04607]
  • extensible compiler for creating scriptable scientific software. Scripting languages such as Python and Tcl have ... interpreted problem solving environment and they form a modular framework for controlling software components written ... scripted scientific application is that of integrating compiled code with a high-level interpreter. This...
  • Pict

  • Referenced in 72 articles [sw08929]
  • language in the ML tradition, formed by adding a layer of convenient syntactic sugar ... current release includes a Pict-to-C compiler, reference manual, language tutorial, numerous libraries...
  • Miranda

  • Referenced in 153 articles [sw04986]
  • larger community, in the form of stable implementations of complete and well-documented programming languages ... structure with type secure facilities for separate compilation and linking. The major part of this...
  • OpenModelica

  • Referenced in 28 articles [sw19753]
  • compilation and simulation environment based on free software distributed in binary and source code form...
  • NP-SPEC

  • Referenced in 20 articles [sw02243]
  • some second-order predicates of predefined form. NP-SPEC programs specify solutions to problems ... executable. In the present prototype they are compiled to PROLOG code, which ... construct outputs. Second-order predicates of suitable form allow to limit the size of search...
  • jSpin

  • Referenced in 17 articles [sw07638]
  • tabular form. All aspects of jSpin are configurable: some at compile time, some at initialization...
  • CIL

  • Referenced in 36 articles [sw26691]
  • languages (e.g., three-address code) designed for compilation. As a result, what we have ... programs, and emit them in a form that resembles the original source. Moreover, it comes ... project to be viewed as a single compilation unit. As a representative application...
  • LTSA-WS

  • Referenced in 14 articles [sw10585]
  • form of Message Sequence Charts (MSCs), and then compiled into the Finite State Process...
  • LISP

  • Referenced in 127 articles [sw07201]
  • order functions, recursion, and the self-hosting compiler.[2] The name LISP derives from ”LISt ... parenthesized lists. A function call or syntactic form is written as a list with...
  • ipc

  • Referenced in 8 articles [sw11783]
  • their PEPA models. ipc compiles PEPA models (in the form of .pepa) files to Will...