ECCE
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.
Keywords for this software
References in zbMATH (referenced in 62 articles )
Showing results 1 to 20 of 62.
Sorted by year (- Alpuente, M.; Ballis, D.; Escobar, S.; Sapiña, J.: Optimization of rewrite theories by equational partial evaluation (2022)
- Yernaux, Gonzague; Vanhoof, Wim: Anti-unification in constraint logic programming (2019)
- De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio: Predicate pairing for program verification (2018)
- De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio: Solving Horn clauses on inductive data types without induction (2018)
- Nys, Vincent; De Schreye, Danny: Abstract conjunctive partial deduction for the analysis and compilation of coroutines (2017)
- De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio: Proving correctness of imperative programs by linearizing constrained Horn clauses (2015)
- Leuschel, Michael; Vidal, Germán: Fast offline partial evaluation of logic programs (2014)
- Carette, Jacques; Kucera, Michael: Partial evaluation of Maple (2011)
- Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio: Program specialization for verifying infinite state systems: an experimental evaluation (2011)
- Vidal, Germán: A hybrid approach to conjunctive partial evaluation of logic programs (2011)
- Bolz, Carl Friedrich; Leuschel, Michael; Rigo, Armin: Towards just-in-time partial evaluation of Prolog (2010)
- Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio: The transformational approach to program development (2010)
- Albert, Elvira; Gallagher, John; Gómez-Zamalloa, Miguel; Puebla, Germán: Type-based homeomorphic embedding for online termination (2009)
- Leuschel, Michael; Vidal, Germán: Fast offline partial evaluation of large logic programs (2009)
- Albert, Elvira; Gallagher, John; Gómez-Zamalloa, Miguel; Puebla, Germán: Type-based homeomorphic embedding and its applications to online partial evaluation (2008)
- Barker, Steve; Leuschel, Michael; Varea, Mauricio: Efficient and flexible access control via Jones-optimal logic program specialisation (2008)
- Akama, Kiyoshi; Nantajeewarawat, Ekawit; Koike, Hidekatsu: Program generation in the equivalent transformation computation model using the squeeze method (2007)
- Arroyo, Gustavo; Ramos, J. Guadalupe; Silva, Josep; Vidal, Germán: Improving offline narrowing-driven partial evaluation using size-change graphs (2007)
- Escobar, Santiago; Meseguer, José; Thati, Prasanna: Narrowing and rewriting logic: from foundations to applications (2007)
- Leuschel, Michael; Craig, Stephen-John; Elphick, Dan: Supervising offline partial evaluation of logic programs using online techniques (2007)