Semantic code search via equational reasoning

Saved in:
Bibliographic Details
Published inProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
Format Conference Proceeding
LanguageEnglish
Online AccessGet full text
DOI10.1145/3385412.3386001

Cover

More Information
DOI:10.1145/3385412.3386001