×

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

20 Leuschel, Michael
10 Vidal, Germán
8 Albert, Elvira
8 Pettorossi, Alberto
8 Proietti, Maurizio
6 Fioravanti, Fabio
5 De Schreye, Danny
5 Escobar, Santiago
5 Gallagher, John P.
5 Puebla, Germán
4 Bruynooghe, Maurice
4 De Angelis, Emanuele
4 Hanus, Michael
4 Vanhoof, Wim
3 Alpuente, María
3 Craig, Stephen-John
3 Hermenegildo, Manuel V.
3 Jørgensen, Jesper
3 Lehmann, Helko
3 Meseguer Guaita, José
3 Thati, Prasanna
2 Ballis, Demis
2 Glück, Robert
2 Gómez-Zamalloa, Miguel
2 Martens, Bern
2 Ochoa, Claudio
2 Peralta, Julio C.
2 Sapiña, Julia
2 Senni, Valerio
2 Silva, Josep
1 Akama, Kiyoshi
1 Alonso, José-Antonio
1 Arroyo, Gustavo
1 Barker, Steve
1 Black, Gary W.
1 Bolz, Carl Friedrich
1 Callahan, Miranda
1 Carette, Jacques
1 Clausen, Lars
1 de Waal, Andre D.
1 Denecker, Marc
1 Didier, Brett
1 Elphick, Dan
1 Futamura, Yoshihiko
1 Glenstrup, Arne John
1 Gruner, Stefan
1 Hidalgo, María-José
1 Hrůza, Jan
1 Jones, Neil D.
1 Kamin, Sam
1 Koike, Hidekatsu
1 Kucera, Michael
1 Lucas, Salvador
1 Martín-Mateos, Francisco-Jesús
1 Massart, Thierry Jacques
1 Nantajeewarawat, Ekawit
1 Nys, Vincent
1 Ramakrishnan, C. R.
1 Ramos, J. Guadalupe
1 Renault, Sophie
1 Rigo, Armin
1 Roychoudhury, Abhik
1 Ruiz-Reina, José-Luis
1 Schuchardt, Karen
1 Serebrenik, Alexander
1 Song, Litong
1 Sørensen, Morten Heine B.
1 Vandecasteele, Henk
1 Varea, Mauricio
1 Yernaux, Gonzague
all top 5

Cited in 13 Serials

11 Theory and Practice of Logic Programming
3 Higher-Order and Symbolic Computation
2 The Journal of Logic Programming
2 The Journal of Functional and Logic Programming
1 Information Processing Letters
1 Science of Computer Programming
1 New Generation Computing
1 Information and Computation
1 Journal of Automated Reasoning
1 Formal Aspects of Computing
1 Bulletin of the European Association for Theoretical Computer Science EATCS
1 Concurrency and Computation: Practice & Experience
1 Journal of Logical and Algebraic Methods in Programming

Cited in 3 Fields

63 Computer science (68-XX)
4 Mathematical logic and foundations (03-XX)
1 Numerical analysis (65-XX)

Citations by Year