Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Manasij Mukherjee"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 4:1-24
Superoptimization is a compilation strategy that uses search to improve code quality, rather than relying on a canned sequence of transformations, as traditional optimizing compilers do. This search can be seen as a program synthesis problem: from un