References in zbMATH (referenced in 57 articles )

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

1 2 3 next

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

1 2 3 next