References in zbMATH (referenced in 61 articles )

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

1 2 3 4 next

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

1 2 3 4 next