WEKO3
アイテム
{"_buckets": {"deposit": "387e0429-b936-4d36-9f8f-627abebd472b"}, "_deposit": {"created_by": 188, "id": "29119", "owners": [188], "pid": {"revision_id": 0, "type": "depid", "value": "29119"}, "status": "published"}, "_oai": {"id": "oai:tsukuba.repo.nii.ac.jp:00029119", "sets": []}, "author_link": ["204021", "100677", "100678"], "item_3_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2013-01", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "86", "bibliographicPageStart": "75", "bibliographic_titles": [{"bibliographic_title": "Proceeding POPL \u002713 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages", "bibliographic_titleLang": "ja"}]}]}, "item_3_publisher_27": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "ACM", "subitem_publisher_language": "en"}]}, "item_3_relation_11": {"attribute_name": "DOI", "attribute_value_mlt": [{"subitem_relation_type": "isVersionOf", "subitem_relation_type_id": {"subitem_relation_type_id_text": "https://doi.org/10.1145/2429069.2429081", "subitem_relation_type_select": "DOI"}}]}, "item_3_relation_39": {"attribute_name": "関連情報", "attribute_value_mlt": [{"subitem_relation_type_id": {"subitem_relation_type_id_text": "978-1-4503-1832-7", "subitem_relation_type_select": "ISBN"}}]}, "item_3_rights_12": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "©ACM, 2013. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in the Proceedings of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013)", "subitem_rights_language": "en"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "海野, 広志", "creatorNameLang": "ja"}, {"creatorName": "ウンノ, ヒロシ", "creatorNameLang": "ja-Kana"}, {"creatorName": "UNNO, Hiroshi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "204021", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "80569575", "nameIdentifierScheme": "e-Rad", "nameIdentifierURI": "https://nrid.nii.ac.jp/ja/nrid/1000080569575"}, {"nameIdentifier": "0000003293", "nameIdentifierScheme": "筑波大学研究者総覧", "nameIdentifierURI": "http://trios.tsukuba.ac.jp/researcher/0000003293"}]}, {"creatorNames": [{"creatorName": "Terauchi, Tachio", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "100677", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Kobayashi, Naoki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "100678", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2013-12-25"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "POPL2013.pdf", "filesize": [{"value": "225.8 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 225800.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/29119/files/POPL2013.pdf"}, "version_id": "d8b4ef7b-aded-483e-a97e-e88fc6275981"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "conference paper", "resourceuri": "http://purl.org/coar/resource_type/c_5794"}]}, "item_title": "Automating relatively complete verification of higher-order functional programs", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Automating relatively complete verification of higher-order functional programs", "subitem_title_language": "en"}]}, "item_type_id": "3", "owner": "188", "path": ["2155", "2578"], "permalink_uri": "http://hdl.handle.net/2241/119377", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2013-06-20"}, "publish_date": "2013-06-20", "publish_status": "0", "recid": "29119", "relation": {}, "relation_version_is_last": true, "title": ["Automating relatively complete verification of higher-order functional programs"], "weko_shared_id": -1}
Automating relatively complete verification of higher-order functional programs
http://hdl.handle.net/2241/119377
http://hdl.handle.net/2241/119377ac74434e-47d3-4540-a1a9-3c9a21f22184
名前 / ファイル | ライセンス | アクション |
---|---|---|
POPL2013.pdf (225.8 kB)
|
|
Item type | Conference Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2013-06-20 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Automating relatively complete verification of higher-order functional programs | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_5794 | |||||
タイプ | conference paper | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
著者 |
海野, 広志
× 海野, 広志× Terauchi, Tachio× Kobayashi, Naoki |
|||||
書誌情報 |
ja : Proceeding POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages p. 75-86, 発行日 2013-01 |
|||||
DOI | ||||||
関連タイプ | isVersionOf | |||||
識別子タイプ | DOI | |||||
関連識別子 | https://doi.org/10.1145/2429069.2429081 | |||||
権利 | ||||||
言語 | en | |||||
権利情報 | ©ACM, 2013. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in the Proceedings of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013) | |||||
出版者 | ||||||
言語 | en | |||||
出版者 | ACM | |||||
関連情報 | ||||||
識別子タイプ | ISBN | |||||
関連識別子 | 978-1-4503-1832-7 |