{"id":122636,"updated":"2025-01-21T03:16:58.279808+00:00","links":{},"created":"2025-01-19T00:02:49.410626+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00122636","sets":["6504:8020:8027"]},"path":["8027"],"owner":"1","recid":"122636","title":["並列論理型言語FlengのデバッガHyperDEBUにおける視覚化支援機能"],"pubdate":{"attribute_name":"公開日","attribute_value":"1992-09-28"},"_buckets":{"deposit":"68a199dd-2283-4e46-b293-ad6889bbd60c"},"_deposit":{"id":"122636","pid":{"type":"depid","value":"122636","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"並列論理型言語FlengのデバッガHyperDEBUにおける視覚化支援機能","author_link":[],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"並列論理型言語FlengのデバッガHyperDEBUにおける視覚化支援機能"},{"subitem_title":"Facilities of a Debuggcr HyperDEBU to Visualize Parallel Logic Programs","subitem_title_language":"en"}]},"item_type_id":"22","publish_date":"1992-09-28","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_22_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"東京大学工学部"},{"subitem_text_value":"東京大学工学部"},{"subitem_text_value":"東京大学工学部"}]},"item_22_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"the University of Tokyo","subitem_text_language":"en"},{"subitem_text_value":"the University of Tokyo","subitem_text_language":"en"},{"subitem_text_value":"the University of Tokyo","subitem_text_language":"en"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/122636/files/KJ00001344349.pdf"},"date":[{"dateType":"Available","dateValue":"1992-09-28"}],"format":"application/pdf","filename":"KJ00001344349.pdf","filesize":[{"value":"157.3 kB"}],"mimetype":"application/pdf","accessrole":"open_date","version_id":"7d8b1707-8ec1-4633-9686-c3d769d36bf6","displaytype":"detail","licensetype":"license_note"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_22_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00349328","subitem_source_identifier_type":"NCID"}]},"item_22_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"プログラムをデバッグする場合には、まず実行の様子を把握する必要がある。特に細粒度で高並列なプログラムを実行の流れが多数あるので、実行の巨視的な状態をまず理解することがより重要な課題になる。このためには、実行情報を抽象化したグローバルな視野が必要となり、プログラムの視覚化手法の問題を解決しなければならない。デバッグ時には、どの部分をどのように見たいかというユーザの意図が状況によって変化するので、これを反映させることが重要である。我々の視覚化の方針では、ユーザの意図を反映した「付加的な知識」を与えこれを利用して視覚化を行ない、プログラム全部について完全な知識を与えなくても、知識の与え方に応じて高レベルなデバッグを可能にする。我々は、並列論理型言語の一種であるCommitted-Choice型言語(OCL)のFlengを対象とするデバッガHyperDEBUせ開発している。HyperDEBUは、ユーザの意図に応じたコントロール/データフローの視覚化機能を持つ、プログラムの視覚的な観察・操作による効果的なデバッキングを可能にする。ユーザはブレークポイントによって自分の意図を伝え、デバッガはこの情報を実行の視覚化に用いる。HyperDEBUではユーザのブレークポイント設定を支援するため、プログラム解析・ブラウジング機能を備えている。本論文では、このうちデータフローの視覚化支援機能について述べる。","subitem_description_type":"Other"}]},"item_22_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"116","bibliographic_titles":[{"bibliographic_title":"全国大会講演論文集"}],"bibliographicPageStart":"115","bibliographicIssueDates":{"bibliographicIssueDate":"1992-09-28","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"ソフトウェア","bibliographicVolumeNumber":"第45回"}]},"relation_version_is_last":true,"weko_creator_id":"1"}}