Author:
Sastry A. V. S.,Clinger William,Ariola Zena
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Aggregate Update Problem for Multi-clocked Dataflow Languages;2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2022-04-02
2. Automatic proofs of memory deallocation for a Whiley-to-C Compiler;Formal Methods in System Design;2021-08-16
3. Recycle Your Arrays!;Practical Aspects of Declarative Languages;2008
4. The Higher-Order Aggregate Update Problem;Lecture Notes in Computer Science;2008
5. Static Analysis for Safe Destructive Updates in a Functional Language;Logic Based Program Synthesis and Transformation;2002