Affiliation:
1. Stony Brook University
Funder
Office of Naval Research
National Science Foundation
Reference56 articles.
1. Self-adjusting computation
2. Generalized scale independence through incremental precomputation
3. Magic sets and other strange ways to implement logic programs (extended abstract)
4. BayesianLogic. The BLOG Programming Language examples. https://github.com/BayesianLogic/blog/tree/master/example. Last accessed May 21 2016. BayesianLogic. The BLOG Programming Language examples. https://github.com/BayesianLogic/blog/tree/master/example. Last accessed May 21 2016.
5. Removing runtime overhead for optimized object queries
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Incremental Computation: What Is the Essence? (Invited Contribution);Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
2. Recursive rules with aggregation: a simple unified semantics;Journal of Logic and Computation;2022-11-14
3. Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness;Runtime Verification;2020
4. Algorithm Diversity for Resilient Systems;Data and Applications Security and Privacy XXXIII;2019
5. Migrating business logic to an incremental computing DSL: a case study;Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering;2018-10-24