Author:
Belblidia Nadia,Debbabi Mourad
Publisher
AITO - Association Internationale pour les Technologies Objets
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Dynamic class initialization semantics: a Jinja extension;Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019;2019
2. Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler;Journal of Automated Reasoning;2018-02-08
3. Certified Transformation for Static Single Assignment of SPMD Programs;2014 14th International Conference on Computational Science and Its Applications;2014-06
4. Specifying Dynamic Analyses by Extending Language Semantics;IEEE Transactions on Software Engineering;2012-05
5. Verifying a Compiler for Java Threads;Programming Languages and Systems;2010