The Choice Construct in the Soufflé Language-Reference-Cited by-同舟云学术

The Choice Construct in the Soufflé Language

Published:2021 Issue: Volume: Page:163-181
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Hu Xiaowen^ORCID,Karp Joshua^ORCID,Zhao David^ORCID,Zreika Abdul^ORCID,Wu Xi^ORCID,Scholz Bernhard^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-89051-3_10

Reference39 articles.

1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases: The Logical Level, 1st edn. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)

2. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2006)

3. Lecture Notes in Computer Science;N Allen,2015

4. Aref, M., et al.: Design and Implementation of the LogicBlox System. In: SIGMOD 2015, pp. 1371–1382. ACM (2015)

5. Ball, T., Larus, J.R.: Efficient path profiling. In: Proceedings 29th Annual ACM/IEEE International Symposium on Microarchitecture, pp. 46–57. MICRO 29 (1996)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Finding Cross-Rule Optimization Bugs in Datalog Engines;Proceedings of the ACM on Programming Languages;2024-04-29

2. Better Together: Unifying Datalog and Equality Saturation;Proceedings of the ACM on Programming Languages;2023-06-06

3. The SWC-based Security Analysis Tool for Smart Contract Vulnerability Detection;2022 6th International Conference on Information Technology (InCIT);2022-11-10