Verification of Unary Communicating Datalog Programs

Authors

• 1. C. Aiswarya (Chennai Mathematical Institute)
• 2. Diego Calvanese (Free University of Bolzano; Umeå University)
• 3. Francesco Di Cosmo (Free University of Bolzano)
• 4. Marco Montali (Free University of Bolzano)

@inproceedings{aiswarya_pods24,
        address = {New York, NY, USA},
        series = {{PODS} '24},
        title = {{Verification of Unary Communicating Datalog Programs}},
        url = {https://dl.acm.org/doi/10.1145/3651590},
        doi = {10.1145/3651590},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Aiswarya, C. and Calvanese, Diego and Di Cosmo, Francesco and Montali, Marco},
        year = {2024}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Outgoing Citations (Sorted by Pagerank)

Showing 4 of 4 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Semantically Similar Papers