Author:
Demers Alan,Reps Thomas,Teitelbaum Tim
Cited by
77 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Interactive Abstract Interpretation with Demanded Summarization;ACM Transactions on Programming Languages and Systems;2024-03-29
2. A Software Architecture Based on Coarse-Grained Self-Adjusting Computations;Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture;2023-08-30
3. Incremental type-checking for free: using scope graphs to derive incremental type-checkers;Proceedings of the ACM on Programming Languages;2022-10-31
4. Efficient Parallel Self-Adjusting Computation;Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures;2021-07-06
5. Demanded abstract interpretation;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18