bibtex

@inproceedings{BCM1,
    title = {Developing and certifying Datalog optimizations in Coq/MathComp },
    author = {Begay, Pierre-L{\'e}o and Cr{\'e}gut, Pierre and Monin, Jean-Fran\c{c}ois},
    year = {2021},
    booktitle = {10th ACM SIGPLAN International Conference on Certified Proofs and Programs},
    team = {PACSS},
    pdf = {https://www-verimag.imag.fr/~monin/Publis/Docs/datalog-cpp21.pdf},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4198354