-
Cactus
- Referenced in 81 articles
[sw04422]
- earlier versions, which enables highly modular, multi-language, parallel applications to be developed by single...
-
AceGen
- Referenced in 40 articles
[sw10821]
- AceGen: Multi-language, Multi-environment Numerical Code Generation. The Mathematica package AceGen is used ... simultaneous optimization of expressions. The multi-language capabilities of AceGen (C, FORTRAN, Mathematica©, Matlab©,..) enable...
-
Rapide
- Referenced in 38 articles
[sw01249]
- technology for building large-scale, distributed multi-language systems. This technology is based upon ... computer languages, called Executable Architecture Definition Languages (EADLs), and an innovative toolset supporting ... support component-based development of large, multi-language systems by utilizing architecture definitions...
-
GIMP
- Referenced in 16 articles
[sw24779]
- framework for scripted image manipulation, with multi-language support such as C, C++, Perl, Python...
-
MyCoG.NET
- Referenced in 2 articles
[sw17250]
- MyCoG.NET: A Multi-Language CoG Toolkit. Grid application developers utilize Commodity Grid (CoG) toolkits ... Globus Grid services. Existing CoG toolkits are language-specific and have, for example, been developed ... describe MyCoG.NET, a CoG toolkit supporting multi-language programmability under the Microsoft .NET framework. MyCoG.NET...
-
Terra
- Referenced in 3 articles
[sw24000]
- Terra: a multi-stage language for high-performance computing. High-performance computing applications, such ... auto-tuners and domain-specific languages, rely on generative programming techniques to achieve high performance ... scripting language, Lua, to stage the execution of a novel low-level language, Terra. Users ... evaluate our design by reimplementing existing multi-language systems entirely in Terra. Our Terra-based...
-
TexMo
- Referenced in 1 article
[sw06913]
- Texmo: a multi-language development environment Contemporary software systems contain a large number of artifacts ... multiple languages, ranging from domain-specific languages to general purpose languages. These artifacts are interrelated ... multi-language development environments, organized according to language representation, representation of relations between languages ... present TexMo, a prototype of a multi-language development environment, which uses an explicit relation...
-
QuixBugs
- Referenced in 1 article
[sw28477]
- QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge. Recent years ... single languages, recent work in multi-language transformation has opened the door for multi-language...
-
DynComm
- Referenced in 2 articles
[sw28442]
- designed to be a multi-language package, that can be used for community detection...
-
JaTeCS
- Referenced in 1 article
[sw20538]
- lexical resources, natural language processing tools, multi-language support, methods for feature selection and weighting...
-
JamSpell
- Referenced in 1 article
[sw35780]
- fast - near 5K words per second; multi-language - it’s written in C++ and available...
-
SpiSeMe
- Referenced in 1 article
[sw35810]
- SpiSeMe: A multi-language package for spike train surrogate generation. Many studies in nonlinear science...
-
VIFECO
- Referenced in 1 article
[sw38691]
- multiplatform (Windows, Mac and Linux) and multi-language (3 languages supported) application. The software...
-
TextProposals
- Referenced in 1 article
[sw28347]
- focused or incidental text datasets, and multi-language scenarios. Moreover, the combination of our object...
-
Ada95
- Referenced in 293 articles
[sw01753]
- Ada is a structured, statically typed, imperative, wide...
-
Haskell
- Referenced in 879 articles
[sw03521]
- Haskell is a standardized, general-purpose purely functional...
-
DiVinE
- Referenced in 56 articles
[sw04130]
- DIVINE is a tool for LTL model checking...
-
SWIG
- Referenced in 53 articles
[sw04607]
- An extensible compiler for creating scriptable scientific software...
-
Frama-C
- Referenced in 46 articles
[sw04626]
- Frama-C is a suite of tools dedicated...
-
z3
- Referenced in 590 articles
[sw04887]
- Z3 is a high-performance theorem prover being...