WEKO3
アイテム
{"_buckets": {"deposit": "9ccc0825-3ffe-4313-a017-0aa517970565"}, "_deposit": {"id": "1259", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "1259"}, "status": "published"}, "_oai": {"id": "oai:repository.nii.ac.jp:00001259", "sets": ["136"]}, "author_link": [], "control_number": "1259", "item_5_biblio_info_30": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2009-07-09", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "14", "bibliographicPageStart": "1", "bibliographic_titles": [{"bibliographic_title": "NIIテクニカル・レポート", "bibliographic_titleLang": "ja"}, {"bibliographic_title": "NII Technical Report", "bibliographic_titleLang": "en"}]}]}, "item_5_description_28": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "Reynolds\u0027 separation logical system for pointer program verification is investigated. This paper proves its completeness theorem as well as the expressiveness theorem of Peano arithmetic language for the system under the standard interpretation. This paper also introduces the predicate that represents the next new cell, and proves the completeness and the soundness of the extended system under deterministic semantics.", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_5_identifier_registration": {"attribute_name": "ID登録", "attribute_value_mlt": [{"subitem_identifier_reg_text": "10.20736/0000001259", "subitem_identifier_reg_type": "JaLC"}]}, "item_5_publisher_31": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "国立情報学研究所", "subitem_publisher_language": "ja"}]}, "item_5_source_id_32": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "1346-5597", "subitem_source_identifier_type": "ISSN"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "龍田, 真", "creatorNameLang": "ja"}, {"creatorName": "Tatsuta, Makoto", "creatorNameLang": "en"}]}, {"creatorNames": [{"creatorName": "Chin, Wei-Ngan", "creatorNameLang": "en"}]}, {"creatorNames": [{"creatorName": "Ameen, Mahmudul Faisal Al", "creatorNameLang": "en"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2019-03-12"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "09-013E.pdf", "filesize": [{"value": "253.4 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 253400.0, "url": {"label": "NII Technical Report (NII-2009-013E):Completeness of Pointer Program Verification by Separation Logic", "url": "https://repository.nii.ac.jp/record/1259/files/09-013E.pdf"}, "version_id": "36ad564e-0274-4845-a08f-3306e33fbe0e"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "テクニカルレポート", "subitem_subject_language": "ja", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Technical Report", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "departmental bulletin paper", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "NII Technical Report (NII-2009-013E):Completeness of Pointer Program Verification by Separation Logic", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "NII Technical Report (NII-2009-013E):Completeness of Pointer Program Verification by Separation Logic", "subitem_title_language": "en"}]}, "item_type_id": "5", "owner": "1", "path": ["136"], "permalink_uri": "https://doi.org/10.20736/0000001259", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2019-03-12"}, "publish_date": "2019-03-12", "publish_status": "0", "recid": "1259", "relation": {}, "relation_version_is_last": true, "title": ["NII Technical Report (NII-2009-013E):Completeness of Pointer Program Verification by Separation Logic"], "weko_shared_id": -1}
NII Technical Report (NII-2009-013E):Completeness of Pointer Program Verification by Separation Logic
https://doi.org/10.20736/0000001259
https://doi.org/10.20736/00000012590b933f42-4069-4540-9365-f7c078adfa81
名前 / ファイル | ライセンス | アクション |
---|---|---|
NII Technical Report (NII-2009-013E):Completeness of Pointer Program Verification by Separation Logic (253.4 kB)
|
|
Item type | レポート / Report(1) | |||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2019-03-12 | |||||||||||||
タイトル | ||||||||||||||
言語 | en | |||||||||||||
タイトル | NII Technical Report (NII-2009-013E):Completeness of Pointer Program Verification by Separation Logic | |||||||||||||
言語 | ||||||||||||||
言語 | eng | |||||||||||||
キーワード | ||||||||||||||
言語 | ja | |||||||||||||
主題Scheme | Other | |||||||||||||
主題 | テクニカルレポート | |||||||||||||
キーワード | ||||||||||||||
言語 | en | |||||||||||||
主題Scheme | Other | |||||||||||||
主題 | Technical Report | |||||||||||||
資源タイプ | ||||||||||||||
資源 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||
タイプ | departmental bulletin paper | |||||||||||||
ID登録 | ||||||||||||||
ID登録 | 10.20736/0000001259 | |||||||||||||
ID登録タイプ | JaLC | |||||||||||||
著者 |
龍田, 真
× 龍田, 真
× Chin, Wei-Ngan
× Ameen, Mahmudul Faisal Al
|
|||||||||||||
抄録 | ||||||||||||||
内容記述タイプ | Abstract | |||||||||||||
内容記述 | Reynolds' separation logical system for pointer program verification is investigated. This paper proves its completeness theorem as well as the expressiveness theorem of Peano arithmetic language for the system under the standard interpretation. This paper also introduces the predicate that represents the next new cell, and proves the completeness and the soundness of the extended system under deterministic semantics. | |||||||||||||
言語 | en | |||||||||||||
書誌情報 |
ja : NIIテクニカル・レポート en : NII Technical Report p. 1-14, 発行日 2009-07-09 |
|||||||||||||
出版者 | ||||||||||||||
言語 | ja | |||||||||||||
出版者 | 国立情報学研究所 | |||||||||||||
ISSN | ||||||||||||||
収録物識別子タイプ | ISSN | |||||||||||||
収録物識別子 | 1346-5597 |