The Ciao System. Ciao is a general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented programming styles. Its main design objectives are high expressive power, extensibility, safety, reliability, and efficient execution.

References in zbMATH (referenced in 46 articles )

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

1 2 3 next

  1. Lipton, James; Nieva, Susana: Kripke semantics for higher-order type theory applied to constraint logic programming languages (2018)
  2. Liqat, Umer; Banković, Zorana; Lopez-Garcia, Pedro; Hermenegildo, Manuel V.: Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks (2018)
  3. Lopez-Garcia, P.; Darmawan, L.; Klemen, M.; Liqat, U.; Bueno, F.; Hermenegildo, M. V.: Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption (2018)
  4. Schulze Frielinghaus, Stefan; Seidl, Helmut; Vogler, Ralf: Enforcing termination of interprocedural analysis (2018)
  5. Straccia, Umberto; Bobillo, Fernando: From fuzzy to annotated semantic web languages (2017)
  6. García-Contreras, Isabel; Morales, José F.; Hermenegildo, Manuel V.: Semantic code browsing (2016)
  7. 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)
  8. Lopez-Garcia, P.; Klemen, M.; Liqat, U.; Hermenegildo, M. V.: A general framework for static profiling of parametric resource usage (2016)
  9. Morales, José F.; Carro, Manuel; Hermenegildo, Manuel: Description and optimization of abstract machines in a dialect of Prolog (2016)
  10. Stulova, Nataliia; Morales, José F.; Hermenegildo, Manuel V.: Practical run-time checking via unobtrusive property caching (2015)
  11. Serrano, A.; Lopez-Garcia, P.; Hermenegildo, M. V.: Resource usage analysis of logic programs via abstract interpretation using sized types (2014)
  12. Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, German; Zanardini, Damiano: Cost analysis of object-oriented bytecode programs (2012)
  13. Lopez-Garcia, Pedro; Darmawan, Luthfi; Bueno, Francisco; Hermenegildo, Manuel: Interval-based resource usage verification: formalization and prototype (2012)
  14. Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, Germán: Closed-form upper bounds in static cost analysis (2011)
  15. Lu, Lunjin: A polymorphic type dependency analysis for logic programs (2011)
  16. Sáenz-Pérez, Fernando: DES: a deductive database system (2011) ioport
  17. Lopez-Garcia, Pedro; Bueno, Francisco; Hermenegildo, Manuel: Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses (2010)
  18. Lopez-Garcia, Pedro; Darmawan, Luthfi; Bueno, Francisco: A framework for verification and debugging of resource usage properties: resource usage verification (2010)
  19. Cousot, Patrick; Cousot, Radhia; Giacobazzi, Roberto: Abstract interpretation of resolution-based semantics (2009)
  20. Fiorentini, Camillo; Momigliano, Alberto; Ornaghi, Mario: Towards a type discipline for answer set programming (2009)

1 2 3 next