Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere. Type inference for datalog and its application to query optimisation. In Maurizio Lenzerini, Domenico Lembo, editors, Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada. pages 291-300, ACM, 2008. [doi]
@inproceedings{MoorSAV08,
title = {Type inference for datalog and its application to query optimisation},
author = {Oege de Moor and Damien Sereni and Pavel Avgustinov and Mathieu Verbaere},
year = {2008},
doi = {10.1145/1376916.1376957},
url = {http://doi.acm.org/10.1145/1376916.1376957},
tags = {programming languages, object-oriented programming, type inference, rule-based, Java, meta programming, type soundness, type system, compiler, subject-oriented programming, abstraction, Meta-Environment, Datalog, feature-oriented programming, meta-objects, query language},
researchr = {https://researchr.org/publication/MoorSAV08},
cites = {0},
citedby = {0},
pages = {291-300},
booktitle = {Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada},
editor = {Maurizio Lenzerini and Domenico Lembo},
publisher = {ACM},
isbn = {978-1-60558-108-8},
}