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