References in zbMATH (referenced in 34 articles )

Showing results 1 to 20 of 34.
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. Sáenz-Pérez, Fernando: DES: A deductive database system (2011)
  7. Lopez-Garcia, Pedro; Bueno, Francisco; Hermenegildo, Manuel: Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses (2010)
  8. Lopez-Garcia, Pedro; Darmawan, Luthfi; Bueno, Francisco: A framework for verification and debugging of resource usage properties: resource usage verification (2010)
  9. Cousot, Patrick; Cousot, Radhia; Giacobazzi, Roberto: Abstract interpretation of resolution-based semantics (2009)
  10. Gras, Daniel Cabeza; Hermenegildo, Manuel V.: Non-strict independence-based program parallelization using sharing and freeness information (2009)
  11. Loyer, Yann; Straccia, Umberto: Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (2009)
  12. Muñoz-Hernández, Susana; Moreno-Navarro, Juan José: Extending constructive logic negation with types (2009)
  13. Navas, Jorge; Méndez-Lojo, Mario; Hermenegildo, Manuel V.: User-definable resource usage bounds analysis for Java bytecode (2009)
  14. Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel: Abstraction-carrying code: a model for mobile code safety (2008)
  15. Rodríguez-Hortalá, Juan; Sánchez-Hernández, Jaime: Functions and lazy evaluation in prolog. (2008)
  16. Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca; Santini, Francesco: Modelling multicast QoS routing by using best-tree search in and-or graphs and soft constraint logic programming. (2007)
  17. Ochoa, Claudio; Puebla, Germán: A study on the practicality of poly-controlled partial evaluation. (2007)
  18. Albert, Elvira; Arenas, Puri; Puebla, Germán; Hermenegildo, Manuel: Reduced certificates for abstraction-carrying code (2006)
  19. Albert, Elvira; Puebla, Germán; Gallagher, John P.: Non-leftmost unfolding in partial evaluation of logic programs with impure predicates (2006)
  20. Puebla, Germán; Albert, Elvira; Hermenegildo, Manuel: Abstract interpretation with specialized definitions (2006)

1 2 next