BaRT Software Authors: Booker, Lashon B.; Hota, Naveen; Ramsey, Connie Loggia Cited in: 2 Publications (1990–1995) Related Software: – Main Fields: Computer science (68-XX)
BNFConverter Software Authors: Michael Pellauer; Markus Forsberg; Aarne Ranta Cited in: 1 Publication (2006) Related Software: Haskell; DrIFT; Agda; Polyp Main Fields: Computer science (68-XX)
Cole Software Authors: Hoste Kenneth, Eeckhout Lieven Cited in: 0 Publications Related Software: TACT; Micomp; Acovea; LARA; COBAYN; Milepost GCC; … Main Fields: –
CoorSet Software Authors: Kane, Kevin; Browne, James C. Cited in: 1 Publication (2004) Related Software: Klava Main Fields: Computer science (68-XX)
DyC Software Authors: Grant, B., Mock, M., Philipose, M., Chambers, C., Eggers, S.J. Cited in: 11 Publications (2000–2010) Related Software: VCODE; ASM; TALx86; LMS; Flask; BCEL; … Main Fields: Computer science (68-XX)
GrGen Software Authors: Geiß, Rubino; Batz, Gernot Veit; Grund, Daniel; Hack, Sebastian; Szalkowski, Adam Cited in: 15 Publications (2006–2020) Related Software: GROOVE; AGG; PROGRES; Graph transformation benchmarks; Fujaba; VIATRA2; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
INDIA Software Authors: Albinus, M.; Assmann, W. Cited in: 1 Publication (1989) Related Software: Modula Main Fields: Computer science (68-XX)
JastAdd Software Authors: Hedin, Görel; Magnusson, Eva Cited in: 17 Publications (2003–2022) Related Software: Stratego; ANTLR; ASF+SDF; Spoofax; Polyglot; TXL; … Main Fields: Computer science (68-XX)
LCTD Software Authors: Saarikivi, Olli; Heljanko, Keijo Cited in: 1 Publication (2016) Related Software: STP; LCT; jCUTE; SMACK; BoogiePL; Vellvm; … Main Fields: Computer science (68-XX)
Opal Software Authors: Green, Edward L.; Heath, Lenwood S.; Keller, Benjamin J. Cited in: 3 Publications (1997–2009) Related Software: NCGB; PCCTS; ANTLR; LiDIA; Letterplace; ANICK; … Main Fields: Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX)
PAG Software Authors: Martin, Florian Cited in: 20 Publications (1996–2018) Related Software: NINJA; MPI/MPICH; PHiPAC; PLAPACK; FFTW; BLAS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
PCCTS Software Authors: Hank Dietz, T. Parr Cited in: 1 Publication (1997) Related Software: Opal; ANTLR; LiDIA Main Fields: Computer science (68-XX)
Pilsner Software Authors: Neis, Georg; Hur, Chung-Kil; Kaiser, Jan-Oliver; McLaughlin, Craig; Dreyer, Derek; Vafeiadis, Viktor Cited in: 6 Publications (2015–2021) Related Software: Coq; CakeML; Isabelle/HOL; HOL; Boogie; Kami; … Main Fields: Computer science (68-XX)
SCons Software Authors: SCons Foundation Cited in: 0 Publications Related Software: NumPy; Python; FFTW; agrid; GDAL; Cartopy; … Main Fields: –
smgn Software Authors: Kienle, Holger M.; Moore, David L. Cited in: 1 Publication (2002) Related Software: – Main Fields: Computer science (68-XX)
SWIG Software Authors: Beazley, D.M. Cited in: 39 Publications (2000–2022) Related Software: Python; NumPy; F2PY; SciPy; Octave; Matlab; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
TAMC Software Authors: Giering, Ralf; Kaminski, Thomas Cited in: 72 Publications (1998–2021) Related Software: TAF; ADIFOR; ADOL-C; ADIC; Odyssee; L-BFGS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
Visual DSD Software Authors: Lakin, M.R., Youssef, S., Polo, F., Emmott, S., Phillips, A. Cited in: 10 Publications (2013–2020) Related Software: PRISM; CRN++; MedOlDatschgerl; ERODE; PoplMark; z3 Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)
Zelus Software Authors: Timothy Bourke, Marc Pouzet Cited in: 4 Publications (2013–2022) Related Software: StateFlow; Simulink; Ptolemy; iFEST; Cheddar; Daikon; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)