Leroy: Library Learning for Imperative Programming Languages
Published:
[Additional details about the paper can be added here.]
Recommended citation: A Bellur, R Alghamdi, K Workneh, J Izraelevitz (2024). "Leroy: Library Learning for Imperative Programming Languages." International Workshop on Human Aspects of Types and Reasoning Assistants (HATRA).
Download Paper