ECCE
swMATH ID: | 4196 |
Software Authors: | Leuschel, M.; Martens, B.; De Schreye, D |
Description: | ECCE is an automatic online program specialiser for pure Prolog programs (with built-ins). It takes a pure Prolog program and a query of interest and then specialises the program for that particular query. |
Homepage: | http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.43.8259&rep=rep1&type=pdf |
Related Software: | DPPD; LOGEN; Mercury; BABEL; Ciao; TOY; Maude; CiaoPP; XSB; z3; Kernel-LEAF; Maude-NPA; NRL; MTT; VeriMAP; PPL; MathSAT5; TRACER; Isabelle; HyTech |
Cited in: | 64 Documents |
all
top 5
Cited by 70 Authors
all
top 5
Cited in 13 Serials
Cited in 3 Fields
63 | Computer science (68-XX) |
4 | Mathematical logic and foundations (03-XX) |
1 | Numerical analysis (65-XX) |