Author:
Bolz Carl Friedrich,Cuni Antonio,FijaBkowski Maciej,Leuschel Michael,Pedroni Samuele,Rigo Armin
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Using capabilities for strict runtime invariant checking;Science of Computer Programming;2022-12
2. Fifty Years of Prolog and Beyond;Theory and Practice of Logic Programming;2022-05-17
3. Amalgamating different JIT compilations in a meta-tracing JIT compiler framework;Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages;2020-11-15
4. Toward presizing and pretransitioning strategies for GraalPython;Conference Companion of the 4th International Conference on Art, Science, and Engineering of Programming;2020-03-23
5. SPEjs: a symbolic partial evaluator for JavaScript;Proceedings of the 1st International Workshop on Advances in Mobile App Analysis;2018-09-04