[ACM Press the 11th ACM SIGPLAN conference - Coimbra, Portugal (2009.09.07-2009.09.09)] Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 - Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas
Aranda-López, Gabriel, Nieva, Susana, Sáenz-Pérez, Fernando, Sánchez-Hernández, JaimeYear:
2009
Language:
english
DOI:
10.1145/1599410.1599426
File:
PDF, 239 KB
english, 2009