Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software
Cited by
121 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Partial program analysis for staged compilation systems;Formal Methods in System Design;2024-06-13
2. Adaptive Recursive Query Optimization;2024 IEEE 40th International Conference on Data Engineering (ICDE);2024-05-13
3. Expressive modeling and fast simulation for dynamic compartments;2024-04-03
4. Multi-Stage Vertex-Centric Programming for Agent-Based Simulations;Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2023-10-22
5. TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism;Proceedings of the ACM on Programming Languages;2023-10-16