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

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 62 articles )

Showing results 1 to 20 of 62.
Sorted by year (citations)

1 2 3 4 next

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

1 2 3 4 next