けっこう有名だけど、ちゃんと読んだことなかった論文。手法 というプログラム合成の手法。 タイトル Synthesizing Data Structure Transformations from Input-Output Examples PLDI2015 Synthesizing data structure transformations from input-output ex…
Quote saved.
Login to quote this blog
Failed to save quote. Please try again later.
You cannot quote because this article is private.