References in zbMATH (referenced in 27 articles )

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

1 2 next

  1. Serrano, A.; Lopez-Garcia, P.; Hermenegildo, M.V.: Resource usage analysis of logic programs via abstract interpretation using sized types (2014)
  2. Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, German; Zanardini, Damiano: Cost analysis of object-oriented bytecode programs (2012)
  3. Lopez-Garcia, Pedro; Darmawan, Luthfi; Bueno, Francisco; Hermenegildo, Manuel: Interval-based resource usage verification: formalization and prototype (2012)
  4. Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, Germán: Closed-form upper bounds in static cost analysis (2011)
  5. Lu, Lunjin: A polymorphic type dependency analysis for logic programs (2011)
  6. Lopez-Garcia, Pedro; Bueno, Francisco; Hermenegildo, Manuel: Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses (2010)
  7. Lopez-Garcia, Pedro; Darmawan, Luthfi; Bueno, Francisco: A framework for verification and debugging of resource usage properties: resource usage verification (2010)
  8. Cousot, Patrick; Cousot, Radhia; Giacobazzi, Roberto: Abstract interpretation of resolution-based semantics (2009)
  9. Gras, Daniel Cabeza; Hermenegildo, Manuel V.: Non-strict independence-based program parallelization using sharing and freeness information (2009)
  10. Loyer, Yann; Straccia, Umberto: Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (2009)
  11. Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel: Abstraction-carrying code: a model for mobile code safety (2008)
  12. Albert, Elvira; Arenas, Puri; Puebla, Germán; Hermenegildo, Manuel: Reduced certificates for abstraction-carrying code (2006)
  13. Albert, Elvira; Puebla, Germán; Gallagher, John P.: Non-leftmost unfolding in partial evaluation of logic programs with impure predicates (2006)
  14. Puebla, Germán; Albert, Elvira; Hermenegildo, Manuel: Abstract interpretation with specialized definitions (2006)
  15. Hermenegildo, Manuel V.; Puebla, Germán; Bueno, Francisco; López-García, Pedro: Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor) (2005)
  16. Pettorossi, Alberto; Proietti, Maurizio; Renault, Sophie: Derivation of efficient logic programs by specialization and reduction of nondeterminism (2005)
  17. Puebla, Germán; Albert, Elvira; Hermenegildo, Manuel: Efficient local unfolding with ancestor stacks for full Prolog (2005)
  18. Serebrenik, Alexander; De Schreye, Danny: Termination of floating-point computations (2005)
  19. Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea: Finite-tree analysis for constraint logic-based languages (2004)
  20. Bueno, Francisco; López-García, Pedro; Hermenegildo, Manuel: Multivariant non-failure analysis via standard abstract interpretation (2004)

1 2 next