Dava Software Authors: Miecznikowski, Jerome; Hendren, Laurie Cited in: 4 Publications (2002–2011) Related Software: FlowDroid; ESC/Java; AspectJ; PPG; Soot; Polyglot; … Main Fields: Computer science (68-XX)
CHR Software Authors: Christian Holzbaur, Tom Schrijvers, Tom Schrijvers Cited in: 4 Publications (2002–2018) Related Software: Haskell; SCIFF; ACORDA; HYPROLOG; SWI-Prolog; XSB; … Main Fields: Computer science (68-XX)
GCminor Software Authors: McCreight, Andrew; Chevalier, Tim; Tolmach, Andrew Cited in: 4 Publications (2010–2019) Related Software: Coq; CompCert; CompCertTSO; HOL; Milawa; OCaml; … Main Fields: Computer science (68-XX)
Naira Software Authors: Junaidu, Sahalu B.; Trinder, Phil W. Cited in: 3 Publications (1999–2002) Related Software: GUM; Haskell; MCNP; Scheme; Facile; LISP; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Shake Software Authors: Mitchell, Neil Cited in: 2 Publications (2016–2020) Related Software: redo; Ninja; Dune; Incremental; fabricate; Reflow; … Main Fields: Computer science (68-XX)
Fregel Software Authors: Iwasaki, Hideya; Emoto, Kento; Morihata, Akimasa; Matsuzaki, Kiminori; Hu, Zhenjiang Cited in: 1 Publication (2022) Related Software: SympleGraph; Mermaid; PathGraph; Blogel; NScaleSpark; GPS; … Main Fields: Computer science (68-XX)
Sapl Software Authors: L. Domoszlai, E. Bruel, J. M. Jansen Cited in: 1 Publication (2011) Related Software: Hop; Flapjax; JavaScript; Haskell; CLEAN Main Fields: Computer science (68-XX)