{"id":735,"date":"2015-03-04T18:25:03","date_gmt":"2015-03-05T03:25:03","guid":{"rendered":"http:\/\/prg.is.titech.ac.jp\/?p=735"},"modified":"2015-06-02T06:15:13","modified_gmt":"2015-06-02T15:15:13","slug":"poster-presentation-at-ppl-2015-in-matsuyama","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/poster-presentation-at-ppl-2015-in-matsuyama\/","title":{"rendered":"PPL2015 \u3067\u30dd\u30b9\u30bf\u30fc\u767a\u8868\u3092\u3057\u307e\u3059"},"content":{"rendered":"

\u9673\u6c9b\u6069\" target=\"_blank\" rel=\"noopener\">chen<\/a> Huang, Hidehiko Masuhara, <\/a><\/span>Tomoyuki Aotani<\/a><\/span><\/li>\n

  • Integration Unit Testing into Live Programming — Tomoki Imai, <\/a>Hidehiko Masuhara, <\/a>Tomoyuki Aotani<\/a><\/span><\/li>\n
  • Formalization of Separation Logic for GPGPU Kernel — Izumi Asakura, <\/a>Hidehiko Masuhara, <\/a>Tomoyuki Aotani<\/a><\/span><\/li>\n
  • Compile-Time Datatype Composition for Efficiency and Modularity in Haskell — Hirotada Kiriyama, <\/a>Hidehiko Masuhara, <\/a>Tomoyuki Aotani<\/a><\/span><\/li>\n
  • \n
    \n
    Chop&Graft: an Advice Mechanism to Separate Exception Handling — Kenta Fujita, <\/a>Hidehiko Masuhara, <\/a>Tomoyuki Aotani<\/a><\/span><\/div>\n
    <\/div>\n
    \"\u5199\u771f<\/a>\"\u5199\u771f<\/a>\"\u5199\u771f<\/a>\"\u5199\u771f<\/a>\"\u5199\u771f<\/a><\/div>\n<\/div>\n<\/li>\n<\/ul>\n

    PPL\uff12\uff10\uff11\uff15\u3067\u30dd\u30b9\u30bf\u30fc\u767a\u8868\u3092\u3057\u307e\u3059<\/span><\/p>\n