![An abstract interpretation framework for refactoring with application to extract methods with contracts | ACM SIGPLAN Notices An abstract interpretation framework for refactoring with application to extract methods with contracts | ACM SIGPLAN Notices](https://dl.acm.org/cms/asset/8c4c56c1-fb3b-4142-8de8-1227cbecbe59/2398857.2384633.key.jpg)
An abstract interpretation framework for refactoring with application to extract methods with contracts | ACM SIGPLAN Notices
![Automatic abstraction of real-time software and re-implementation in Ada | Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations Automatic abstraction of real-time software and re-implementation in Ada | Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations](https://dl.acm.org/cms/asset/5a8d70d5-5d10-4a47-91de-ccfc536a61a3/126551.126576.fp.png)
Automatic abstraction of real-time software and re-implementation in Ada | Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
![Reaction Mechanism Generator v3.0: Advances in Automatic Mechanism Generation | Theoretical and Computational Chemistry | ChemRxiv | Cambridge Open Engage Reaction Mechanism Generator v3.0: Advances in Automatic Mechanism Generation | Theoretical and Computational Chemistry | ChemRxiv | Cambridge Open Engage](https://chemrxiv.org/engage/api-gateway/chemrxiv/assets/orp/resource/item/60c7536eee301cfe6fc7add0/largeThumb/reaction-mechanism-generator-v3-0-advances-in-automatic-mechanism-generation.jpg)