References in zbMATH (referenced in 56 articles )

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

1 2 3 next

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

1 2 3 next