{"links":{},"id":16328,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00016328","sets":["581:920:926"]},"path":["926"],"owner":"1","recid":"16328","title":["PASCALプログラムにおける変数定義・使用に関するデータフロー解析"],"pubdate":{"attribute_name":"公開日","attribute_value":"1980-01-15"},"_buckets":{"deposit":"f05fb486-4c5b-4376-9836-ca4ecc37ed0b"},"_deposit":{"id":"16328","pid":{"type":"depid","value":"16328","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"PASCALプログラムにおける変数定義・使用に関するデータフロー解析","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"PASCALプログラムにおける変数定義・使用に関するデータフロー解析"},{"subitem_title":"Data Flow Analysis for Def - Use Relationships of Variables in PASCAL Program","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"論文","subitem_subject_scheme":"Other"}]},"item_type_id":"2","publish_date":"1980-01-15","item_2_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"北海道大学工学部情報工学専攻"}]},"item_2_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Division of Information Engineering, Faculty of Engineering, Hokkaido University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"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/16328/files/IPSJ-JNL2101002.pdf"},"date":[{"dateType":"Available","dateValue":"1982-01-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-JNL2101002.pdf","filesize":[{"value":"562.4 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"8"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"db684502-5a0e-48ae-bc86-bea0971c4d2b","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1980 by the Information Processing Society of Japan"}]},"item_2_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"宮本, 衛市"}],"nameIdentifiers":[{}]}]},"item_2_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Eiichi, Miyamoto","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_2_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00116647","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_2_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7764","subitem_source_identifier_type":"ISSN"}]},"item_2_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本論文は PASCALプログラムを対象として開発したデータフロー解析用ソフトウェアツールで用いられている解析手法を述べたものである.PASCALはその言語仕様の簡潔さと強力なデータ構造記述能力により普及のめざましい言語であるが その反面 抽象データタイプの概念がないこと ポインタ型のデータタイプを陽に使用できること 変数パラメータあるいは大域的変数の使用に関して何ら制限がないことなどにより 誤ちを犯しやすい言語でもある.今回開発したツールは PASCALの弱点をデータフロー解析に基づいたプログラム診聞により補おうとするものであって その主な診断項目としては 動的変数の領域割付け 変数の定義・使用 手続き呼出し時のデータ受渡しなどに関する問題であり データフロー上の問題点を指摘するが 最終的にはプログラマの判断に委ねることになる.本手法では プログラムの1回の走査に基づいて診断する.そのための基本的な考え方は プログラムの任意の個所で 診断するためのフローが未解析の場合 その個所でフローに異常をきたさないための要求事項を生成し 診断を後出のフロー解析まで保留しておくことである.この考えをパラメータあるいは大域的変数の振舞い さらにはこれらによって参照される動的変数 およびgoto文による分岐・合流に対して適用して解析している.","subitem_description_type":"Other"}]},"item_2_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"14","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌"}],"bibliographicPageStart":"8","bibliographicIssueDates":{"bibliographicIssueDate":"1980-01-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"1","bibliographicVolumeNumber":"21"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"created":"2025-01-18T22:49:37.881744+00:00","updated":"2025-01-22T23:55:01.770069+00:00"}