References in zbMATH (referenced in 39 articles )

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

1 2 next

  1. Lipton, James; Nieva, Susana: Kripke semantics for higher-order type theory applied to constraint logic programming languages (2018)
  2. Straccia, Umberto; Bobillo, Fernando: From fuzzy to annotated semantic web languages (2017)
  3. García-Contreras, Isabel; Morales, José F.; Hermenegildo, Manuel V.: Semantic code browsing (2016)
  4. Haemmerlé, R.; López-García, P.; Liqat, U.; Klemen, M.; Gallagher, J.P.; Hermenegildo, M.V.: A transformational approach to parametric accumulated-cost static profiling (2016)
  5. Lopez-Garcia, P.; Klemen, M.; Liqat, U.; Hermenegildo, M.V.: A general framework for static profiling of parametric resource usage (2016)
  6. Morales, José F.; Carro, Manuel; Hermenegildo, Manuel: Description and optimization of abstract machines in a dialect of Prolog (2016)
  7. Stulova, Nataliia; Morales, José F.; Hermenegildo, Manuel V.: Practical run-time checking via unobtrusive property caching (2015)
  8. Serrano, A.; Lopez-Garcia, P.; Hermenegildo, M.V.: Resource usage analysis of logic programs via abstract interpretation using sized types (2014)
  9. Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, German; Zanardini, Damiano: Cost analysis of object-oriented bytecode programs (2012)
  10. Lopez-Garcia, Pedro; Darmawan, Luthfi; Bueno, Francisco; Hermenegildo, Manuel: Interval-based resource usage verification: formalization and prototype (2012)
  11. Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, Germán: Closed-form upper bounds in static cost analysis (2011)
  12. Lu, Lunjin: A polymorphic type dependency analysis for logic programs (2011)
  13. Lopez-Garcia, Pedro; Bueno, Francisco; Hermenegildo, Manuel: Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses (2010)
  14. Lopez-Garcia, Pedro; Darmawan, Luthfi; Bueno, Francisco: A framework for verification and debugging of resource usage properties: resource usage verification (2010)
  15. Cousot, Patrick; Cousot, Radhia; Giacobazzi, Roberto: Abstract interpretation of resolution-based semantics (2009)
  16. Fiorentini, Camillo; Momigliano, Alberto; Ornaghi, Mario: Towards a type discipline for answer set programming (2009)
  17. Gras, Daniel Cabeza; Hermenegildo, Manuel V.: Non-strict independence-based program parallelization using sharing and freeness information (2009)
  18. Loyer, Yann; Straccia, Umberto: Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (2009)
  19. Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel: Abstraction-carrying code: a model for mobile code safety (2008)
  20. Bistarelli, Stefano; Santini, Francesco: SCLP for trust propagation in small-world networks (2008)

1 2 next