{"height":"190","categories":[],"title":"PLDIr #04 \u306b\u53c2\u52a0\u3057\u305f","blog_url":"https://mametter.hatenablog.com/","blog_title":"\u307e\u3081\u3081\u3082","provider_url":"https://hatena.blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmametter.hatenablog.com%2Fentry%2F20091205%2Fp1\" title=\"PLDIr #04 \u306b\u53c2\u52a0\u3057\u305f - \u307e\u3081\u3081\u3082\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","description":"\u6c34\u66dc\u65e5\u306b PLDI 2000 \u306e\u8ad6\u6587\u3092\u307f\u3093\u306a\u3067\u5206\u62c5\u3057\u3066\u8aad\u3080\u4f1a\u306b\u53c2\u52a0\u3057\u307e\u3057\u305f\u3002 \u9060\u85e4\u304c\u767a\u8868\u3057\u305f\u8ad6\u6587\u306f\u4ee5\u4e0b\u306e 2 \u3064\u3002 Type-Based Race Detection for Java Functional Reactive Programming from First Principle \u30b9\u30e9\u30a4\u30c9\u306f\u4ee5\u4e0b\u3067\u3059\u3002\u524d\u8005\u306e\u8ad6\u6587\u306f\u3001Java \u30d7\u30ed\u30b0\u30e9\u30e0\u306b race condition \u304c\u306a\u3044\u3053\u3068\u3092\u691c\u8a3c\u3059\u308b\u578b\u30b7\u30b9\u30c6\u30e0 (\u5168\u81ea\u52d5\u3067\u306f\u306a\u304f annotation \u306f\u5fc5\u8981) \u3067\u3001\u308f\u308a\u3068\u4fbf\u5229\u305d\u3046\u3060\u3063\u305f\u306e\u3067\u3059\u304c\u73fe\u4ee3\u306b\u751f\u304d\u6b8b\u3063\u3066\u3044\u306a\u304f\u3066\u6b8b\u5ff5\u306a\u611f\u3058\u3067\u3057\u305f\u3002\u305f\u3076\u3093 annotation \u5fc5\u9808 (\u30c7\u30d5\u30a9\u30eb\u30c8\u306e\u63a8\u8ad6\u3067\u5de5\u592b\u3057\u3066\u2026","type":"rich","author_url":"https://blog.hatena.ne.jp/ku-ma-me/","image_url":null,"provider_name":"Hatena Blog","width":"100%","url":"https://mametter.hatenablog.com/entry/20091205/p1","version":"1.0","published":"2009-12-05 00:00:00","author_name":"ku-ma-me"}