Author:
Dietl Werner,Müller Peter
Publisher
AITO - Association Internationale pour les Technologies Objets
Cited by
78 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Java Verification Tool KeY:A Tutorial;Lecture Notes in Computer Science;2024-09-13
2. Ownership-Based Owicki-Gries Reasoning;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27
3. Implementing the $$\lambda _{GT}$$ Language: A Functional Language with Graphs as First-Class Data;Graph Transformation;2023
4. Using capabilities for strict runtime invariant checking;Science of Computer Programming;2022-12
5. CiFi: Versatile Analysis of Class and Field Immutability;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11